GitHub repository: rayyanaamir22/TinyProof-Prover
Primary language: Python
Created: 2025-03-17T22:38:15Z
Description: LLM-based Lean4 Theorem Prover, augmented with Monte-Carlo Tree Search, Reinforcement Learning, and Verification. Part of the GDSC Reading Course CSC392.