Interpreting Expert Annotation Differences in Animal Behavior Workshop
2021.
Neural Program Generation Modulo Static Analysis Journal Article
In: Neural Information Processing Systems (NeurIPS), 2021., 2021.
Online Partial Conditional Plan Synthesis for POMDPs With Safe-Reachability Objectives: Methods and Experiments Journal Article
In: IEEE Trans Autom. Sci. Eng., vol. 18, no. 3, pp. 932–945, 2021.
Searching a Database of Source Codes Using Contextualized Code Search Journal Article
In: Proc. VLDB Endow., vol. 13, no. 10, pp. 1765–1778, 2020.
Learning Differentiable Programs with Admissible Neural Heuristics Inproceedings
In: Larochelle, Hugo; Ranzato, Marc'Aurelio; Hadsell, Raia; Balcan, Maria-Florina; Lin, Hsuan-Tien (Ed.): Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual, 2020.
Neurosymbolic Reinforcement Learning with Formally Verified Exploration Inproceedings
In: Larochelle, Hugo; Ranzato, Marc'Aurelio; Hadsell, Raia; Balcan, Maria-Florina; Lin, Hsuan-Tien (Ed.): Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual, 2020.
Point-Based Policy Synthesis for POMDPs With Boolean and Quantitative Objectives Journal Article
In: IEEE Robotics Autom. Lett., vol. 4, no. 2, pp. 1860–1867, 2019.
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks Inproceedings
In: 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019, 2019.
Control Regularization for Reduced Variance Reinforcement Learning Inproceedings
In: Proceedings of the 36th International Conference on Machine Learning, ICML 2019, 9-15 June 2019, Long Beach, California, USA, pp. 1141–1150, 2019.
Imitation-Projected Programmatic Reinforcement Learning Inproceedings
In: Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, 8-14 December 2019, Vancouver, BC, Canada, pp. 15726–15737, 2019.
Neural query expansion for code search Inproceedings
In: Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2019, Phoenix, AZ, USA, June 22, 2019, pp. 29–37, 2019.
Optimization and abstraction: a synergistic approach for analyzing neural network robustness Inproceedings
In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019, pp. 731–744, 2019.
Neurosymbolic Programming. Foundations and Trends in Programming Languages. Book
2018.
An incremental constraint-based framework for task and motion planning Journal Article
In: Int. J. Robotics Res., vol. 37, no. 10, 2018.
The Task-Motion Kit: An Open Source, General-Purpose Task and Motion-Planning Framework Journal Article
In: IEEE Robotics Autom. Mag., vol. 25, no. 3, pp. 61–70, 2018.
Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives Inproceedings
In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018, pp. 238–246, 2018.
Automata vs Linear-Programming Discounted-Sum Inclusion Inproceedings
In: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II, pp. 99–116, 2018.
Comparator Automata in Quantitative Verification Inproceedings
In: Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 420–437, 2018.
Neural Sketch Learning for Conditional Program Generation Inproceedings
In: 6th International Conference on Learning Representations, ICLR 2018, Vancouver, BC, Canada, April 30 - May 3, 2018, Conference Track Proceedings, 2018.
Programmatically Interpretable Reinforcement Learning Inproceedings
In: Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsmässan, Stockholm, Sweden, July 10-15, 2018, pp. 5052–5061, 2018.