ICLR 2025 Workshop VerifAI Submissions

Leveraging Large Language Models to Repair High-level Robot Controllers from Assumption Violations
Qian Meng, Jin Peng Zhou, Kilian Q Weinberger, Hadas Kress-Gazit
- Published: 06 Mar 2025, Last Modified: 21 Mar 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Verifying Omega-regular Properties of Neural Network-Controlled Systems via Proof Certificates
Peixin Wang, Jianhao Bai, Dapeng Zhi, Min Zhang, Luke Ong
- Published: 06 Mar 2025, Last Modified: 06 Mar 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
NO STRESS NO GAIN: STRESS TESTING BASED SELF-CONSISTENCY FOR OLYMPIAD PROGRAMMING
Kunal Singh, Sayandeep Bhowmick, Pradeep Moturi, Siva Kishore Gollapalli
- Published: 06 Mar 2025, Last Modified: 02 Apr 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Temporal Consistency for LLM Reasoning Process Error Identification
Jiacheng Guo, Yue Wu, Jiahao Qiu, Kaixuan Huang, Xinzhe Juan, Ling Yang, Mengdi Wang
- Published: 06 Mar 2025, Last Modified: 17 Apr 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers (Abridged)
Shalev Lifshitz, Sheila A. McIlraith, Yilun Du
- Published: 06 Mar 2025, Last Modified: 20 Mar 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement
Pranjal Aggarwal, Bryan Parno, Sean Welleck
- Published: 06 Mar 2025, Last Modified: 17 Apr 2025
- ICLR 2025 Workshop VerifAI Oral
- Readers: Everyone
Neural Abstract Interpretation
Shaurya Gomber, Gagandeep Singh
- Published: 06 Mar 2025, Last Modified: 20 Mar 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
CRANE: Reasoning with constrained LLM generation
Debangshu Banerjee, Tarun Suresh, Shubham Ugare, Sasa Misailovic, Gagandeep Singh
- Published: 06 Mar 2025, Last Modified: 17 Mar 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Scaling Randomized Smoothing to state-of-the-art Vision-Language Models
Emmanouil Seferis
- Published: 06 Mar 2025, Last Modified: 19 Mar 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
LLMV-AgE: Verifying LLM-Guided Planning for Agentic Exploration in Open-World RL
Haotian Chi, Songwei Zhao, Ivor Tsang, Yew-Soon Ong, Hechang Chen, Yi Chang, Haiyan Yin
- Published: 06 Mar 2025, Last Modified: 21 Mar 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems
Christopher Brix, Julia Walczak, Nils Lommen, Thomas Noll
- Published: 06 Mar 2025, Last Modified: 11 Apr 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Self-Steering Language Models
Gabriel Grand, Joshua B. Tenenbaum, Vikash Mansinghka, Alexander K. Lew, Jacob Andreas
- Published: 06 Mar 2025, Last Modified: 11 Apr 2025
- ICLR 2025 Workshop VerifAI Oral
- Readers: Everyone
Exact Certification of (Graph) Neural Networks Against Label Poisoning
Mahalakshmi Sabanayagam, Lukas Gosch, Stephan Günnemann, Debarghya Ghoshdastidar
- Published: 06 Mar 2025, Last Modified: 21 Mar 2025
- ICLR 2025 Workshop VerifAI Oral
- Readers: Everyone
LipShiFT: A Certifiably Robust Shift-based Vision Transformer
Rohan Menon, Nicola Franco, Stephan Günnemann
- Published: 06 Mar 2025, Last Modified: 18 Mar 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Lightweight Latent Verifiers for Efficient Meta-Generation Strategies
Bartosz Piotrowski, Witold Drzewakowski, Konrad Staniszewski, Piotr Miłoś
- Published: 06 Mar 2025, Last Modified: 12 Apr 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
MathConstruct: Challenging LLM Reasoning with Constructive Proofs
Jasper Dekoninck, Mislav Balunovic, Nikola Jovanović, Ivo Petrov, Martin Vechev
- Published: 06 Mar 2025, Last Modified: 13 Mar 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Reinforcement Learning with LTL and $\omega$-Regular Objectives via Optimality-Preserving Translation to Average Rewards
Xuan-Bach Le, Dominik Wagner, Leon Witzman, Alexander Rabinovich, Luke Ong
- Published: 06 Mar 2025, Last Modified: 11 Apr 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
On the Query Complexity of Verifier-Assisted Language Generation
Edoardo Botta, Yuchen Li, Aashay Mehta, Jordan T. Ash, Cyril Zhang, Andrej Risteski
- Published: 06 Mar 2025, Last Modified: 21 Mar 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction
Suozhi Huang, Peiyang Song, Robert Joseph George, Anima Anandkumar
- Published: 06 Mar 2025, Last Modified: 18 Apr 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Synthesis and Verification of String Stable Control for Interconnected Systems via Neural sISS Certificate
Jingyuan Zhou, Haoze Wu, Longhao Yan, Kaidi Yang
- Published: 06 Mar 2025, Last Modified: 14 Apr 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Learning Automata from Demonstrations, Examples, and Natural Language
Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan Witwicki, Matei Zaharia, Sanjit A. Seshia
- Published: 06 Mar 2025, Last Modified: 10 Apr 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
CAPM: Fast and Robust Verification on Maxpool-based CNN via Dual Network
Jia-Hau Bai, Chi-Ting Liu, Yu Wang, Fu-Chieh Chang, Pei-Yuan Wu
- Published: 06 Mar 2025, Last Modified: 19 Mar 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Multi-Turn Code Generation Through Single-Step Rewards
Arnav Kumar Jain, Gonzalo Gonzalez-Pumariega, Wayne Chen, Alexander M Rush, Wenting Zhao, Sanjiban Choudhury
- Published: 06 Mar 2025, Last Modified: 04 Apr 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
ABSINT-AI: Language Models for Abstract Interpretation
Michael Wang, Kexin Pei, Armando Solar-Lezama
- Published: 06 Mar 2025, Last Modified: 16 Apr 2025
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Scaling Test-Time Compute Without Verification or RL is Suboptimal
Amrith Setlur, Nived Rajaraman, Sergey Levine, Aviral Kumar
- Published: 06 Mar 2025, Last Modified: 11 Apr 2025
- ICLR 2025 Workshop VerifAI Oral
- Readers: Everyone