8 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
Slim Barkallah, Luke Bailey, Kaiyue Wen +2
Reliable verification of proofs remains a bottleneck for training and evaluating AI systems on hard mathematical reasoning. Fully formal proofs, in languages like Lean, are easy to…