Versioned Mathlib declaration datasets with informal descriptions.
Akhil Deo
adeo1
AI & ML interests
LLM Reasoning and Planning, AI agents
Recent Activity
updated a dataset 10 days ago
adeo1/autoprover-retrieval-assets published a dataset 10 days ago
adeo1/autoprover-retrieval-assets updated a collection 11 days ago
Mathlib Informal DatasetsOrganizations
None yet