conftrace_

formal proof

10 papers

Explore in graph

Co-occurring keywords

large language model (13587) automated theorem proving (39) mathematical reasoning (407) automated reasoning (122) theorem proving (63) proof verification (7) formal verification (284) reinforcement learning (4352) performance simulator (1) algorithmic game theory (35)

Papers

SAIR-Comb : A Structure-Aware Iterative Refinement Framework for Combinatorics Autoformalization ACL 2026
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 ACL 2026
Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for LLM Mathematics with Lean EMNLP 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
Stress-Testing the Reasoning Competence of Language Models With Formal Proofs EMNLP 2025
Performance Interfaces for Hardware Accelerators OSDI 2024
Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 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