CoProver: A Recommender System for Proof Construction

1 March 2023

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 Nour Dekhil Adnan Rashid Sofiene Tahar 81 1 0 31 Dec 2024
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