conftrace_

formal mathematics

7 papers

Explore in graph

Co-occurring keywords

large language model (13587) mathematical reasoning (407) neural theorem proving (9) lean formalization (2) theorem proving (63) proof search (13) formal language (78) language model fine-tuning (236) multi-language dataset (2) mathematical statement translation (1)

Papers

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions EMNLP 2025
RLMEval: Evaluating Research-Level Neural Theorem Proving EMNLP 2025
FIRMA: Bidirectional Formal-Informal Mathematical Language Alignment with Proof-Theoretic Grounding EMNLP 2025
Learning Formal Mathematics From Intrinsic Motivation NIPS 2024
A Semantic Search Engine for Mathlib4 EMNLP 2024
Multi-language Diversity Benefits Autoformalization NIPS 2024
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition NIPS 2024