Preprint
Sep 2026
Formal Model Construction Guided by Model-Based Proof Sketches
Formal modeling provides strong guarantees about system correctness, but developing and repairing formal models remains labor-intensive and requires substantial expertise in logic and formal reasoning. Recent LLM-based autoformalization agents seek to reduce this burden by generating candidate formal models and revisin...
Hong-Shu Wang, Xin-Yue Zuo, Yu-Fan Cai et al.
· 0 citations