"formal verification" Papers
12 papers found
Conference
Analytical Lyapunov Function Discovery: An RL-based Generative Approach
Haohan Zou, Jie Feng, Hao Zhao et al.
ICML 2025arXiv:2502.02014
1
citations
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh
NEURIPS 2025arXiv:2505.05758
9
citations
Breaking Symmetries in Quantified Graph Search: A Comparative Study
Mikoláš Janota, Markus Kirchweger, Tomáš Peitl et al.
AAAI 2025paperarXiv:2502.15078
2
citations
CLEVER: A Curated Benchmark for Formally Verified Code Generation
Amitayush Thakur, Jasper Lee, George Tsoukalas et al.
NEURIPS 2025arXiv:2505.13938
13
citations
FormalAlign: Automated Alignment Evaluation for Autoformalization
Jianqiao Lu, Yingjia Wan, Yinya Huang et al.
ICLR 2025arXiv:2410.10135
10
citations
Formally Verified Approximate Policy Iteration
Maximilian Schäffeler, Mohammad Abdulaziz
AAAI 2025paperarXiv:2406.07340
2
citations
Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
Debargha Ganguly, Vikash Singh, Sreehari Sankar et al.
NEURIPS 2025arXiv:2505.20047
5
citations
Learning Simple Interpolants for Linear Integer Arithmetic
Minchao Wu, Naoki Kobayashi
NEURIPS 2025
VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
Patrick Yubeaton, Andre Nakkab, Weihua Xiao et al.
NEURIPS 2025arXiv:2505.20302
5
citations
Autoformalizing Euclidean Geometry
Logan Murphy, Kaiyu Yang, Jialiang Sun et al.
ICML 2024arXiv:2405.17216
14
citations
Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
Yiming Meng, Ruikun Zhou, Amartya Mukherjee et al.
ICML 2024arXiv:2402.10119
17
citations
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
Anahita Baninajjar, Ahmed Rezine, Amir Aminifar
ICML 2024arXiv:2312.09748
1
citations