ITPEval

What is ITPEval?

ITPEval evaluates automated formal proof translation across four interactive theorem provers (Lean 4, Rocq, Isabelle, HOL Light), with 1,560 source files and…

Released

2026-07-07

Evaluates

Language & Knowledge, Mathematics & Formal Science, cs.AI

Openness

unknown

Importer

Claire Radar

Review status

unreviewed

Reported scores

0

Source provenance

• Original evidence https://arxiv.org/abs/2607.19407

ITPEval paper

• Paper https://arxiv.org/abs/2607.19407

Which sources cite ITPEval?

• ITPEval

Related Language & Knowledge, Mathematics & Formal Science, cs.AI benchmarks

• 5-Dialects-BN
• A Large-Scale Dataset and Benchmark
• AARRI-Bench
• ABC-Bench
• ActiveSciBench
• AdaMem-Bench
• AdvancedMathBench
• AdversaBench