Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales

Terms and Conditions

Twitter GitHub LinkedIn Bluesky Youtube

© 2026 ResearchTrend.AI, All rights reserved.

Home
Papers
2502.17925
Cited By

LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction

v1v2v3 (latest)

LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction

25 February 2025

Robert Joseph George

ArXiv (abs)PDF HTML Github (10★)

Papers citing "LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction"

2 / 2 papers shown

Real-Time Progress Prediction in Reasoning Language Models

Real-Time Progress Prediction in Reasoning Language Models

Hans Peter Lynsgøe Raaschou-jensen

Constanza Fierro

Anders Søgaard

217

0

0

29 Jun 2025

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data ScarcityAnnual Meeting of the Association for Computational Linguistics (ACL), 2025

337

3

0

17 Feb 2025