1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Yuming Feng, Frederick Pu, One An +5
Auto-formalization is critical for scalable formal verification, but existing progress largely focuses on isolated statements, while theory-scale auto-formalization, which coherent…