conftrace_

formal mathematics

12 papers

Explore in graph

Co-occurring keywords · papers mentioning both

mathematical reasoning (5) neural theorem proving (4) theorem proving (4) large language model (3) proof search (2) lean formalization (2) language model (2) self-supervised learning (2) formal language (1) language model fine-tuning (1)

Papers

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions EMNLP 2025 FIRMA: Bidirectional Formal-Informal Mathematical Language Alignment with Proof-Theoretic Grounding EMNLP 2025 miniCTX: Neural Theorem Proving with (Long-)Contexts ICLR 2025 RLMEval: Evaluating Research-Level Neural Theorem Proving EMNLP 2025 A Semantic Search Engine for Mathlib4 EMNLP 2024 Learning Formal Mathematics From Intrinsic Motivation NeurIPS 2024 Multi-language Diversity Benefits Autoformalization NeurIPS 2024 PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition NeurIPS 2024 REFACTOR: Learning to Extract Theorems from Proofs ICLR 2024 Formal Mathematics Statement Curriculum Learning ICLR 2023 miniF2F: a cross-system benchmark for formal Olympiad-level mathematics ICLR 2022 Mathematical Reasoning via Self-supervised Skip-tree Training ICLR 2021