ResearchTrend.AI
CoProver: A Recommender System for Proof Construction

CoProver: A Recommender System for Proof Construction

Eric Yeh
Briland Hitaj
S. Owre
Maena Quemener
N. Shankar
ArXiv (abs)PDFHTML

Papers citing "CoProver: A Recommender System for Proof Construction"

3 / 3 papers shown
Title
LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs
Manooshree Patel
Rayna Bhattacharyya
Thomas Lu
Arnav Mehta
Niels Voss
Narges Norouzi
Gireeja Ranade
42
0
0
10 Jun 2025
Proof Recommendation System for the HOL4 Theorem Prover
Proof Recommendation System for the HOL4 Theorem Prover
Nour Dekhil
Adnan Rashid
Sofiene Tahar
81
1
0
31 Dec 2024
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang
Aidan M. Swope
Alex Gu
Rahul Chalamala
Peiyang Song
Shixing Yu
Saad Godil
R. Prenger
Anima Anandkumar
RALM
135
247
0
27 Jun 2023