Copertina

Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Yuxin, Liu, Minghao, Wang, Ruida, Ji, Wenzhao, He, Zhitao, Pan, Rui, Huang, Junming, Zhang, Tong, Fung, Yi R.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

FANS -- Formal Answer Selection for Natural Language Math Reasoning Using Lean4
di: Yao, Jiarui, et al.
Pubblicazione: (2025)

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
di: Wang, Ruida, et al.
Pubblicazione: (2024)

MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving
di: Wang, Ruida, et al.
Pubblicazione: (2025)

Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability
di: Wang, Ruida, et al.
Pubblicazione: (2025)

LeanGeo: Formalizing Competitional Geometry problems in Lean
di: Song, Chendong, et al.
Pubblicazione: (2025)

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

LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4
di: Kripner, Matěj, et al.
Pubblicazione: (2025)

MedEBench: Diagnosing Reliability in Text-Guided Medical Image Editing
di: Liu, Minghao, et al.
Pubblicazione: (2025)

LeanExplore: A search engine for Lean 4 declarations
di: Asher, Justin
Pubblicazione: (2025)

An Evaluation Benchmark for Autoformalization in Lean4
di: Gulati, Aryan, et al.
Pubblicazione: (2024)

Lean4Lean: Verifying a Typechecker for Lean, in Lean
di: Carneiro, Mario
Pubblicazione: (2024)

Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models
di: Guo, Dadi, et al.
Pubblicazione: (2025)

Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
di: Bourigault, Pauline, et al.
Pubblicazione: (2026)

MAC-Tuning: LLM Multi-Compositional Problem Reasoning with Enhanced Knowledge Boundary Awareness
di: Huang, Junsheng, et al.
Pubblicazione: (2025)

RebuttalAgent: Strategic Persuasion in Academic Rebuttal via Theory of Mind
di: He, Zhitao, et al.
Pubblicazione: (2026)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
di: Szeider, Stefan
Pubblicazione: (2026)

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
di: Liu, Junqi, et al.
Pubblicazione: (2026)

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

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
di: Shen, Ziju, et al.
Pubblicazione: (2025)

Automated Tactics for Polynomial Reasoning in Lean 4
di: Shen, Hao, et al.
Pubblicazione: (2026)

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
di: Song, Peiyang, et al.
Pubblicazione: (2024)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
di: Ospanov, Azim, et al.
Pubblicazione: (2025)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
di: Liu, Chengwu, et al.
Pubblicazione: (2026)

Herald: A Natural Language Annotated Lean 4 Dataset
di: Gao, Guoxiong, et al.
Pubblicazione: (2024)

LeanReasoner: Boosting Complex Logical Reasoning with Lean
di: Jiang, Dongwei, et al.
Pubblicazione: (2024)

LLMs' Leaning in European Elections
di: Ricciuti, Federico
Pubblicazione: (2025)

SELF-REDRAFT: Eliciting Intrinsic Exploration-Exploitation Balance in Test-Time Scaling for Code Generation
di: Chen, Yixiang, et al.
Pubblicazione: (2025)

Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4
di: Shen, Austin, et al.
Pubblicazione: (2026)

MerLean: An Agentic Framework for Autoformalization in Quantum Computation
di: Ren, Yuanjie, et al.
Pubblicazione: (2026)

LeanC2: Lean 4 formalization for the C2
di: Motta, Thiago F.
Pubblicazione: (2026)

Political Leaning and Politicalness Classification of Texts
di: Volf, Matous, et al.
Pubblicazione: (2025)

Process-Driven Autoformalization in Lean 4
di: Lu, Jianqiao, et al.
Pubblicazione: (2024)

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

Formally Solving Answer-Construction Problems in Lean
di: Sun, Jialiang, et al.
Pubblicazione: (2025)

Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
di: Qian, Yicheng, et al.
Pubblicazione: (2025)

Premise Selection for a Lean Hammer
di: Zhu, Thomas, et al.
Pubblicazione: (2025)

Lean-STaR: Learning to Interleave Thinking and Proving
di: Lin, Haohan, et al.
Pubblicazione: (2024)

Less is More: Lean yet Powerful Vision-Language Model for Autonomous Driving
di: Yang, Sheng, et al.
Pubblicazione: (2025)

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

LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
di: Xu, Rongge, et al.
Pubblicazione: (2025)