LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Paper • 2306.15626 • Published • 18
Kaiyu Yang
kaiyuy
AI & ML interests
None yet
Recent Activity
upvoted a paper 5 days ago
MiroEval: Benchmarking Multimodal Deep Research Agents in Process and Outcome upvoted a paper 19 days ago
MiroThinker-1.7 & H1: Towards Heavy-Duty Research Agents via Verification new activity 9 months ago
Goedel-LM/Goedel-Prover-V2-8B:Update README.mdOrganizations
authored a
paper almost 3 years ago