:: Library Catalog

$Cover Image$

Saved in:

Bibliographic Details
Main Authors:	Ying, Huaiyuan, Wu, Zijian, Geng, Yihan, Yuan, Zheng, Lin, Dahua, Chen, Kai
Format:	Preprint
Published:	2024
Subjects:	Computation and Language
Online Access:	https://arxiv.org/abs/2406.03847
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

Lean4Lean: Verifying a Typechecker for Lean, in Lean
by: Carneiro, Mario
Published: (2024)

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

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

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

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

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

Lean Nems (Lean formalization)
by: Spivack, Nova
Published: (2026)

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

LeanExplore: A search engine for Lean 4 declarations
by: Asher, Justin
Published: (2025)

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

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

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

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

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

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

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

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Closure (Lean formalization)
by: Spivack, Nova
Published: (2026)

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

GFLean: An Autoformalisation Framework for Lean via GF
by: Pathak, Shashank
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

Lean Aps Recursion Uniformization (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)