conftrace_

proof autoformalization

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

lean formalization (1) large language model (1) neural theorem proving (1) formal mathematics (1) benchmark evaluation (1)

Papers

RLMEval: Evaluating Research-Level Neural Theorem Proving EMNLP 2025