conftrace_

formal proof

14 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (8) automated theorem proving (5) mathematical reasoning (5) theorem proving (4) automated reasoning (3) reinforcement learning (3) proof verification (2) data synthesis (2) neural theorem proving (2) language model (2)

Papers

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 ACL 2026 SAIR-Comb : A Structure-Aware Iterative Refinement Framework for Combinatorics Autoformalization ACL 2026 Alchemy: Amplifying Theorem-Proving Capability Through Symbolic Mutation ICLR 2025 Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions EMNLP 2025 From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs ACL 2025 ImProver: Agent-Based Automated Proof Optimization ICLR 2025 Stress-Testing the Reasoning Competence of Language Models With Formal Proofs EMNLP 2025 Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for LLM Mathematics with Lean EMNLP 2025 Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024 LEGO-Prover: Neural Theorem Proving with Growing Libraries ICLR 2024 MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data ICLR 2024 Performance Interfaces for Hardware Accelerators OSDI 2024 TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models EMNLP 2023 HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving ICML 2019