adeo1/mathlib_informal_v4.9.0
Viewer
•
Updated
•
168k
•
9
•
1
Akhil Deo
adeo1
AI & ML interests
LLM Reasoning and Planning, AI agents
Organizations
None yet