Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
ProofGap: Benchmarking Step-Level Formal Reasoning with Local Obligations Derived from Natural-Language Solutions
Lihan Xie, Zhicheng Hui, Yingjun Lan +7
Existing formal mathematics benchmarks, such as miniF2F, ProofNet, and PutnamBench, primarily evaluate models on constructing complete formal proofs for challenging problems. Becau…
cs.PL2024
A Natural Formalized Proof Language
Lihan Xie, Zhicheng Hui, Qinxiang Cao
Artificial intelligence assisted mathematical proof has become a highly focused area nowadays. One key problem in this field is to generate formal mathematical proofs from natural…