works on
diophantine equations 1integer solutions 1open problems 1polynomial equations 1unsolved problems 1

From the 1 of 8 linked papers with an AI index.

most citedFrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI

9 citations · 9 across the 6 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

StepProof: Step-by-step verification of natural language mathematical proofs

Xiaolin Hu, Qinghua Zhou, Bogdan Grechuk +1

Interactive theorem provers (ITPs) are powerful tools for the formal verification of mathematical proofs down to the axiom level. However, their lack of a natural language interfac…