Computer Science

Authors and titles for Jul 2021, skipping first 30

[31]  arXiv:2107.00092 [pdf, ps, other]

Title: From DNNs to GANs: Review of efficient hardware architectures for deep learning

Authors: Gaurab Bhattacharya

Subjects: Machine Learning (cs.LG); Hardware Architecture (cs.AR)

[32]  arXiv:2107.00093 [pdf, other]

Title: Automatic Synthesis of Experiment Designs from Probabilistic Environment Specifications

Authors: Craig Innes, Yordan Hristov, Georgios Kamaras, Subramanian Ramamoorthy

Subjects: Programming Languages (cs.PL)

[33]  arXiv:2107.00094 [pdf, ps, other]

Title: Super Twisting based Lyapunov Redesign for Uncertain Linear Delay Systems

Authors: Marco A. Gomez, Christopher D. Cruz-Ancona, Leonid Fridman

Comments: 9 pages, 2 figures

Subjects: Systems and Control (eess.SY)

[34]  arXiv:2107.00096 [pdf, other]

Title: Improving black-box optimization in VAE latent space using decoder uncertainty

Authors: Pascal Notin, José Miguel Hernández-Lobato, Yarin Gal

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[35]  arXiv:2107.00097 [pdf, ps, other]

Title: pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs

Authors: Clément Aubert, Thomas Rubiano (LIPN), Neea Rusch, Thomas Seiller (LIPN, CNRS)

Subjects: Programming Languages (cs.PL); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)

[36]  arXiv:2107.00100 [pdf, ps, other]

Title: FCMI: Feature Correlation based Missing Data Imputation

Authors: Prateek Mishra, Kumar Divya Mani, Prashant Johri, Dikhsa Arya

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

[37]  arXiv:2107.00101 [pdf, other]

Title: Latent Execution for Neural Program Synthesis

Authors: Xinyun Chen, Dawn Song, Yuandong Tian

Comments: Published in NeurIPS 2021

Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG); Software Engineering (cs.SE)

[38]  arXiv:2107.00105 [pdf, other]

Title: Transit-Gym: A Simulation and Evaluation Engine for Analysis of Bus Transit Systems

Authors: Ruixiao Sun, Rongze Gui, Himanshu Neema, Yuche Chen, Juliette Ugirumurera, Joseph Severino, Philip Pugliese, Aron Laszka, Abhishek Dubey

Comments: Both Rongze Gui and Ruixiao Sun contributed to the paper equally

Subjects: Systems and Control (eess.SY)

[39]  arXiv:2107.00110 [pdf, other]

Title: Classical Planning in Deep Latent Space

Authors: Masataro Asai, Hiroshi Kajino, Alex Fukunaga, Christian Muise

Comments: Accepted in Journal of Artificial Intelligence Research (JAIR)

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[40]  arXiv:2107.00111 [pdf, ps, other]

Title: A Logic for Reasoning About LF Specifications

Authors: Gopalan Nadathur, Mary Southern

Comments: arXiv admin note: substantial text overlap with arXiv:2105.04110

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)