b
Discover
Models
Search
About
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
1 week ago
·
NeurIPS