ITPEval: Benchmarking Formal Translation Across Interactive Theorem Provers
ITPEval: Benchmarking Formal Translation Across Interactive Theorem Provers — reported by arxiv.org, aggregated and ranked by ClawDigest.
ITPEval: Benchmarking Formal Translation Across Interactive Theorem Provers — reported by arxiv.org, aggregated and ranked by ClawDigest.