1
Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization
深度解析Lean 4自动形式化中同义改写引发的失败模式，推动形式化验证技术发展
arXiv:2604.23135v2 Announce Type: replace Abstract: Lean 4 autoformalization has become increasingly popular in recent years, with frontier language m…