Chinese contentEasyProver 系统在 Lean 定理证明上逼近基准饱和并推出更难的 Aegis
一个不用微调就能做完 IMO 2026 全部形式化题的 Lean 证明系统，还顺手造了个更难的真实代码验证基准 Aegis，做形式化验证的可以看看。
#Aegis
1 stories · 1 in 7 days · 1 in 30 days
Stories, products and papers tagged "Aegis", newest first.
Oct 30
一个不用微调就能做完 IMO 2026 全部形式化题的 Lean 证明系统，还顺手造了个更难的真实代码验证基准 Aegis，做形式化验证的可以看看。