1 citations · 1 across the 5 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…