Isil Dillig

1. SatLM: Satisfiability-Aided Language Models Using Declarative Prompting
   2023/05/16 by Xi Ye, Qiaochu Chen, Ye, Xi +6 · 1 voice · 29 citations
   Computer Science · #Natural Language Processing Techniques #Software Engineering Research #Topic Modeling #cs.AI #cs.CL
2. Relational Program Synthesis
   2018/09/07 by Yuepeng Wang, Xinyu Wang, Wang, Yuepeng +4 · 1 voice · 1 citation
   Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities #cs.PL
3. CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
   2025/04/21 by Anirudh Khatry, Khatry, Anirudh, Robert Zhang +12 · 2 voices · 9 citations
   Agricultural and Biological Sciences · Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Sugarcane Cultivation and Processing #cs.CL #cs.LG #cs.SE