73 entries « 1 of 4 »
73.

Jennifer J Sun Megan Tjandrasuwita, Ann Kennedy; Yue, Yisong

Interpreting Expert Annotation Differences in Animal Behavior Workshop

2021.

BibTeX | Tags: Scientific Discovery

72.

Yeming Wen Rohan Mukherjee, Dipak Chaudhari; Jermaine, Chris

Neural Program Generation Modulo Static Analysis Journal Article

In: Neural Information Processing Systems (NeurIPS), 2021., 2021.

BibTeX | Tags: Bridging Abstraction, Program Synthesis, Software Engineering

71.

Wang, Yue; Newaz, Abdullah Al Redwan; Hernández, Juan David; Chaudhuri, Swarat; Kavraki, Lydia E.

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.

Links | BibTeX | Tags:

70.

Mukherjee, Rohan; Jermaine, Chris; Chaudhuri, Swarat

Searching a Database of Source Codes Using Contextualized Code Search Journal Article

In: Proc. VLDB Endow., vol. 13, no. 10, pp. 1765–1778, 2020.

Links | BibTeX | Tags: Software Engineering

69.

Shah, Ameesh; Zhan, Eric; Sun, Jennifer J.; Verma, Abhinav; Yue, Yisong; Chaudhuri, Swarat

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.

Links | BibTeX | Tags: Interpretable Systems, Neurosymbolic Programming, Program Synthesis, Scientific Discovery

68.

Anderson, Greg; Verma, Abhinav; Dillig, Isil; Chaudhuri, Swarat

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.

Links | BibTeX | Tags: Neurosymbolic Programming, Safe Systems

67.

Wang, Yue; Chaudhuri, Swarat; Kavraki, Lydia E.

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.

Links | BibTeX | Tags:

66.

Michalenko, Joshua J.; Shah, Ameesh; Verma, Abhinav; Baraniuk, Richard G.; Chaudhuri, Swarat; Patel, Ankit B.

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.

Links | BibTeX | Tags:

65.

Cheng, Richard; Verma, Abhinav; Orosz, Gábor; Chaudhuri, Swarat; Yue, Yisong; Burdick, Joel

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.

Links | BibTeX | Tags: Neurosymbolic Programming

64.

Verma, Abhinav; Le, Hoang Minh; Yue, Yisong; Chaudhuri, Swarat

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.

Links | BibTeX | Tags: Neurosymbolic Programming, Program Synthesis

63.

Liu, Jason; Kim, Seohyun; Murali, Vijayaraghavan; Chaudhuri, Swarat; Chandra, Satish

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.

Links | BibTeX | Tags:

62.

Anderson, Greg; Pailoor, Shankara; Dillig, Isil; Chaudhuri, Swarat

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.

Links | BibTeX | Tags: Safe Systems

61.

Kevin Ellis Swarat Chaudhuri, Oleksandr Polozov; Yue, Yisong

Neurosymbolic Programming. Foundations and Trends in Programming Languages. Book

2018.

BibTeX | Tags: Neurosymbolic Programming

60.

Dantam, Neil T.; Kingston, Zachary K.; Chaudhuri, Swarat; Kavraki, Lydia E.

An incremental constraint-based framework for task and motion planning Journal Article

In: Int. J. Robotics Res., vol. 37, no. 10, 2018.

Links | BibTeX | Tags:

59.

Dantam, Neil T.; Chaudhuri, Swarat; Kavraki, Lydia E.

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.

Links | BibTeX | Tags: Robotics and Cyber-Physical Systems

58.

Wang, Yue; Chaudhuri, Swarat; Kavraki, Lydia E.

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.

Links | BibTeX | Tags: Robotics and Cyber-Physical Systems

57.

Bansal, Suguman; Chaudhuri, Swarat; Vardi, Moshe Y.

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.

Links | BibTeX | Tags:

56.

Bansal, Suguman; Chaudhuri, Swarat; Vardi, Moshe Y.

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.

Links | BibTeX | Tags:

55.

Murali, Vijayaraghavan; Qi, Letao; Chaudhuri, Swarat; Jermaine, Chris

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.

Links | BibTeX | Tags: Automated Reasoning, Bridging Abstraction, Program Synthesis, Software Engineering

54.

Verma, Abhinav; Murali, Vijayaraghavan; Singh, Rishabh; Kohli, Pushmeet; Chaudhuri, Swarat

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.

Links | BibTeX | Tags: Interpretable Systems

73 entries « 1 of 4 »