Machine learning for theorem proving in Lean: https://leandojo.org/
Kaiyu Yang
kaiyuy
AI & ML interests
None yet
Recent Activity
upvoted a paper 4 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
