2 citations · 7 across the 16 of their papers we have counts for
1 paper · 1 filter
Leyan Pan, Christian Szegedy, Frederick Rajasekaran +3
LLM-based auto-formalization systems can now generate formally verified Lean code at unprecedented rates. However, a formalization advances mathematical research only when further…