$Copertina$

Lean Workbook: A large-scale Lean problem set formalized from natural language math problems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ying, Huaiyuan, Wu, Zijian, Geng, Yihan, Yuan, Zheng, Lin, Dahua, Chen, Kai
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Computation and Language
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search
di: Wu, Zijian, et al.
Pubblicazione: (2024)

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

LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover
di: Wu, Zijian, et al.
Pubblicazione: (2024)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
di: Li, Jinzheng, et al.
Pubblicazione: (2026)

A complete formalization of Fermat's Last Theorem for regular primes in Lean
di: Best, Alex, et al.
Pubblicazione: (2024)

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

Resource-Lean Lexicon Induction for German Dialects
di: Litschko, Robert, et al.
Pubblicazione: (2026)

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

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)

LLMs Lean on Priors, Not Programming Language Semantics
di: Thimmaiah, Aditya, et al.
Pubblicazione: (2025)

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
di: Peng, Zhongyuan, et al.
Pubblicazione: (2025)

CSLib: The Lean Computer Science Library
di: Barrett, Clark, et al.
Pubblicazione: (2026)

Hidden Persuaders: LLMs' Political Leaning and Their Influence on Voters
di: Potter, Yujin, et al.
Pubblicazione: (2024)

Political Leaning Inference through Plurinational Scenarios
di: de Landa, Joseba Fernandez, et al.
Pubblicazione: (2024)

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

On the Inevitability of Left-Leaning Political Bias in Aligned Language Models
di: Hagendorff, Thilo
Pubblicazione: (2025)

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
di: Xin, Yutong, et al.
Pubblicazione: (2026)

Small Scale Reflection for the Working Lean User
di: Gladshtein, Vladimir, et al.
Pubblicazione: (2024)

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

LeanLTL: A unifying framework for linear temporal logics in Lean
di: Vin, Eric, et al.
Pubblicazione: (2025)

Lean Nems (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

A Question Answering Based Pipeline for Comprehensive Chinese EHR Information Extraction
di: Ying, Huaiyuan, et al.
Pubblicazione: (2024)

Improving Lean4 Autoformalization via Cycle Consistency Fine-tuning
di: Shebzukhov, Arsen
Pubblicazione: (2026)

GFLean: An Autoformalisation Framework for Lean via GF
di: Pathak, Shashank
Pubblicazione: (2024)

"Amazing, They All Lean Left" -- Analyzing the Political Temperaments of Current LLMs
di: Neuman, W. Russell, et al.
Pubblicazione: (2025)

Give me a hint: Can LLMs take a hint to solve math problems?
di: Agrawal, Vansh, et al.
Pubblicazione: (2024)

WizardLM: Empowering large pre-trained language models to follow complex instructions
di: Xu, Can, et al.
Pubblicazione: (2023)

Formalizing zeta and L-functions in Lean
di: Loeffler, David, et al.
Pubblicazione: (2025)

From Long to Lean: Performance-aware and Adaptive Chain-of-Thought Compression via Multi-round Refinement
di: Yan, Jianzhi, et al.
Pubblicazione: (2025)

Reinforcement learning fine-tuning of language model for instruction following and math reasoning
di: Han, Yifu, et al.
Pubblicazione: (2025)

Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
di: Tang, Xichen
Pubblicazione: (2024)

Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization
di: Chan, Willy, et al.
Pubblicazione: (2025)

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

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

Combining Textual and Structural Information for Premise Selection in Lean
di: Petrovčič, Job, et al.
Pubblicazione: (2025)

Lean Representational Incompleteness (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Lean Representational Incompleteness (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Lean Reflexive Closure (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
di: Montesi, Fabrizio, et al.
Pubblicazione: (2026)