Searching a Database of Source Codes Using Contextualized Code Search

von Mukherjee, Rohan
Veröffentlicht in VLDB (46. : 2020 : Online) 46th International Conference on Very Large Data Bases ; Volume 3 of 5 (2020)

Computer aided verification : 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 :proceedings

Computer aided verification : 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 :proceedings

Veröffentlicht 2016

Computer aided verification : 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 :proceedings

Veröffentlicht 2016

Online Partial Conditional Plan Synthesis for POMDPs with Safe-Reachability Objectives

von Wang, Yue
Veröffentlicht in Workshop on the Algorithmic Foundations of Robotics (13. : 2018 : Merida, Mexiko) Algorithmic foundation of robotics XIII (2020)

Policy Optimization with Linear Temporal Logic Constraints

von Voloshin, Cameron
Veröffentlicht in NeurIPS (36. : 2022 : New Orleans, La.; Online) 36th Conference on Neural Information Processing Systems (NeurIPS 2022 ; Volume 23 of 50 (2023)

NEUROSYMBOLIC REINFORCEMENT LEARNING WITH FORMALLY VERIFIED EXPLORATION

von Anderson, Greg
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 8 of 27 (2021)

NASA formal methods : 15th international symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023 : proceedings

Veröffentlicht 2023

Neural Program Generation Modulo Static Analysis

von Mukherjee, Rohan
Veröffentlicht in NeurIPS (35. : 2021 : Online) 35th Conference on Neural Information Processing Systems (NeurIPS 2021) ; Volume 23 of 36 (2022)

LEARNING DIFFERENTIABLE PROGRAMS WITH ADMISSIBLE NEURAL HEURISTICS

von Shah, Ameesh
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 7 of 27 (2021)