Dillig, Isil

9 publications

AAAI 2025 SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine Sadanand Modak, Noah Tobias Patton, Isil Dillig, Joydeep Biswas

ICLR 2024 Coeditor: Leveraging Repo-Level Diffs for Code Auto-Editing Jiayi Wei, Greg Durrett, Isil Dillig

NeurIPS 2024 Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning Arko Banerjee, Kia Rahmani, Joydeep Biswas, Isil Dillig

ICLR 2023 Guiding Safe Exploration with Weakest Preconditions Greg Anderson, Swarat Chaudhuri, Isil Dillig

NeurIPS 2023 SatLM: Satisfiability-Aided Language Models Using Declarative Prompting Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett

NeurIPSW 2023 SatLM: Satisfiability-Aided Language Models Using Declarative Prompting Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett

ICLR 2023 TypeT5: Seq2seq Type Inference Using Static Analysis Jiayi Wei, Greg Durrett, Isil Dillig

ICLR 2020 LambdaNet: Probabilistic Type Inference Using Graph Neural Networks Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig

NeurIPS 2020 Neurosymbolic Reinforcement Learning with Formally Verified Exploration Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri