Author

I. Dillig

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#machine learning Feb 2026

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean

VeriSoftBench is introduced, a benchmark of 500 Lean 4 proof obligations drawn from open-source formal-methods developments and packaged to preserve realistic repository context and cross-file dependencies and results show that success is strongly correlated with transitive repository dependence.

Yu-Tong Xin, Qiaochu Chen, Greg Durrett et al. · arXiv.org · 6 citations