:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Jiang, Dongwei, Fonseca, Marcio, Cohen, Shay B.
Format:	Preprint
Published:	2024
Subjects:	Computation and Language
Online Access:	https://arxiv.org/abs/2403.13312
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Can Large Language Model Summarizers Adapt to Diverse Scientific Communication Goals?
by: Fonseca, Marcio, et al.
Published: (2024)

Can Large Language Models Follow Concept Annotation Guidelines? A Case Study on Scientific and Financial Domains
by: Fonseca, Marcio, et al.
Published: (2023)

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

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

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

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

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

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

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning
by: Leang, Joshua Ong Jun, et al.
Published: (2024)

Boosting Logical Fallacy Reasoning in LLMs via Logical Structure Tree
by: Lei, Yuanyuan, et al.
Published: (2024)

Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
by: Ying, Huaiyuan, et al.
Published: (2024)

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

One More Question is Enough, Expert Question Decomposition (EQD) Model for Domain Quantitative Reasoning
by: Wang, Mengyu, et al.
Published: (2025)

LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning
by: Jiang, Jin, et al.
Published: (2024)

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

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)

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)

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)

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

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

Lean Formalization of Generalization Error Bound by Rademacher Complexity and Dudley's Entropy Integral
by: Sonoda, Sho, et al.
Published: (2025)

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

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

Problem-Solving Logic Guided Curriculum In-Context Learning for LLMs Complex Reasoning
by: Ma, Xuetao, et al.
Published: (2025)

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

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

Intuitionistic Propositional Logic in Lean
by: Trufaş, Dafina
Published: (2024)

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

Eliciting In-context Retrieval and Reasoning for Long-context Large Language Models
by: Qiu, Yifu, et al.
Published: (2025)

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

Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
by: Ryu, Hyun, et al.
Published: (2024)

LeanK: Learnable K Cache Channel Pruning for Efficient Decoding
by: Zhang, Yike, et al.
Published: (2025)

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

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

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