Copertina

Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wu, Shaonan, Lu, Shuai, Gong, Yeyun, Duan, Nan, Wei, Ping
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Proving Theorems Recursively
di: Wang, Haiming, et al.
Pubblicazione: (2024)

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving
di: Li, Chenyi, et al.
Pubblicazione: (2026)

Mathesis: Towards Formal Theorem Proving from Natural Languages
di: Xuejun, Yu, et al.
Pubblicazione: (2025)

A Survey on Deep Learning for Theorem Proving
di: Li, Zhaoyu, et al.
Pubblicazione: (2024)

Distilling LLM Feedback for Lean Theorem Proving
di: Narozniak, Gaetan, et al.
Pubblicazione: (2026)

A Minimal Agent for Automated Theorem Proving
di: Requena, Borja, et al.
Pubblicazione: (2026)

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
di: Li, Zenan, et al.
Pubblicazione: (2025)

Aristotle: IMO-level Automated Theorem Proving
di: Achim, Tudor, et al.
Pubblicazione: (2025)

A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation
di: Xiong, Beibei, et al.
Pubblicazione: (2025)

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
di: Xin, Huajian, et al.
Pubblicazione: (2024)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
di: Chen, Luoxin, et al.
Pubblicazione: (2025)

Learning to Reason with Insight for Informal Theorem Proving
di: Li, Yunhe, et al.
Pubblicazione: (2026)

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
di: Cao, Chenrui, et al.
Pubblicazione: (2025)

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
di: Onda, Naoto, et al.
Pubblicazione: (2025)

Psychometric-Based Evaluation for Theorem Proving with Large Language Models
di: Zhang, Jianyu, et al.
Pubblicazione: (2025)

Steering LLMs for Formal Theorem Proving
di: Kirtania, Shashank, et al.
Pubblicazione: (2025)

Partial Label Learning for Automated Theorem Proving
di: Zombori, Zsolt, et al.
Pubblicazione: (2025)

Key-Point-Driven Data Synthesis with its Enhancement on Mathematical Reasoning
di: Huang, Yiming, et al.
Pubblicazione: (2024)

Enhancing Chain-of-Thoughts Prompting with Iterative Bootstrapping in Large Language Models
di: Sun, Jiashuo, et al.
Pubblicazione: (2023)

CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquing
di: Gou, Zhibin, et al.
Pubblicazione: (2023)

EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
di: Li, Mukai, et al.
Pubblicazione: (2025)

RLMEval: Evaluating Research-Level Neural Theorem Proving
di: Poiroux, Auguste, et al.
Pubblicazione: (2025)

Lyra: Orchestrating Dual Correction in Automated Theorem Proving
di: Zheng, Chuanyang, et al.
Pubblicazione: (2023)

PhysProver: Advancing Automatic Theorem Proving for Physics
di: Zhang, Hanning, et al.
Pubblicazione: (2026)

Competition-Level Problems are Effective LLM Evaluators
di: Huang, Yiming, et al.
Pubblicazione: (2023)

Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
di: Duan, Boyan, et al.
Pubblicazione: (2025)

Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method
di: Vishwakarma, Rahul, et al.
Pubblicazione: (2023)

BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving
di: Xin, Ran, et al.
Pubblicazione: (2025)

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
di: Quan, Xin, et al.
Pubblicazione: (2025)

OProver: A Unified Framework for Agentic Formal Theorem Proving
di: Ma, David, et al.
Pubblicazione: (2026)

Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving
di: Zimmer, Matthieu, et al.
Pubblicazione: (2025)

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
di: Wang, Ruida, et al.
Pubblicazione: (2025)

FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models
di: Uluşan, Zeynel A., et al.
Pubblicazione: (2026)

Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving
di: Xu, Shuo, et al.
Pubblicazione: (2026)

What are the Right Symmetries for Formal Theorem Proving?
di: Olejniczak, Krzysztof, et al.
Pubblicazione: (2026)

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
di: Lin, Yong, et al.
Pubblicazione: (2025)

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
di: Zhang, Ziyin, et al.
Pubblicazione: (2025)

miniCTX: Neural Theorem Proving with (Long-)Contexts
di: Hu, Jiewen, et al.
Pubblicazione: (2024)

ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving
di: Gou, Zhibin, et al.
Pubblicazione: (2023)

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving
di: Gao, Guoxiong, et al.
Pubblicazione: (2026)