ICLR 2025 Workshop VerifAI Submissions

Toward Trustworthy Neural Program Synthesis
Wen-Ding Li, Darren Yan Key, Kevin Ellis
- Published: 06 Mar 2025, Last Modified: 12 Apr 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Type-Constrained Code Generation with Language Models
Niels Mündler, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, Martin Vechev
- Published: 06 Mar 2025, Last Modified: 15 Apr 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Guided Proof Search Using Large Language Models and Lemma Extraction in Coq
Tarun Prasad, Nada Amin
- Published: 06 Mar 2025, Last Modified: 20 Mar 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
ReFoRCE: A Text-to-SQL Agent with Self-Refinement, Format Restriction, and Column Exploration
Minghang Deng, Ashwin Ramachandran, Canwen Xu, Lanxiang Hu, Zhewei Yao, Anupam Datta, Hao Zhang
- Published: 06 Mar 2025, Last Modified: 14 Mar 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Randomly Sampled Language Reasoning Problems Reveal Limits of LLMs
Kavi Gupta, Kate Sanders, Armando Solar-Lezama
- Published: 06 Mar 2025, Last Modified: 20 Apr 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Tasks, Challenges, and Paths Towards AI for Software Engineering
Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Yijia Shao, Ziyang Li, Diyi Yang, Koushik Sen, Kevin Ellis, Armando Solar-Lezama
- Published: 06 Mar 2025, Last Modified: 16 Apr 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Training and Verifying robust Kolmogorov-Arnold Networks
Björn Heiderich, Max-Lion Schumacher, Marco Huber
- Published: 06 Mar 2025, Last Modified: 19 Mar 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone