Machine learning for theorem proving in Lean: https://leandojo.org/
Kaiyu Yang
kaiyuy
AI & ML interests
None yet
Recent Activity
upvoted a paper 2 days ago
FrontierChallenge: Evaluating Scientific Workflow Completion upvoted a paper 4 days ago
Apodex 1.1: Scaling Agentic Intelligence for Complex Work upvoted a collection 3 months ago
Apodex-1Organizations
