Related articles

Lean 4

Formal proof language and proof assistant used for Lean 4 statements and formal proofs in the benchmark.

• OpenFrontiers Launches Massive Corpus of Open Research Problems and a Benchmark for Scientific Rediscovery