subfish/Lean_tutorial_data_traced
Updated
•
39
Ziyu Zhou
subfish
AI & ML interests
Automated Theorem Proving, Autoformalization
Organizations
models
None public yet