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