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
MiroThinker-1.7 & H1: Towards Heavy-Duty Research Agents via Verification new activity 8 months ago
Goedel-LM/Goedel-Prover-V2-8B:Update README.md new activity 8 months ago
Goedel-LM/Goedel-Prover-V2-32B:Update README.mdOrganizations
