A starting point.
Selected research in ai for science. Read the full paper, including the methods, experiments, and reported results.
This work is included in a researcher’s reading path. A detailed editorial explanation is still being prepared. The complete manuscript is available in Full paper.
Source: ITPEval: Benchmarking Formal Translation Across Interactive Theorem Provers. The original manuscript contains the methods, experiments, figures, and references. An arXiv posting date may follow an earlier conference publication. Read the linked record for version history.