Akhil Deo
adeo1
AI & ML interests
LLM Reasoning and Planning, AI agents
Recent Activity
updated a dataset about 1 month ago
adeo1/autoprover-retrieval-assets published a dataset about 1 month ago
adeo1/autoprover-retrieval-assets updated a collection about 1 month ago
Mathlib Informal DatasetsOrganizations
None yet