adeo1/mathlib_informal_v4.28.0
Updated • 18
Akhil Deo
adeo1
AI & ML interests
LLM Reasoning and Planning, AI agents
Recent Activity
liked a dataset 17 days ago
uw-math-ai/APRIL liked a dataset 18 days ago
nvidia/Nemotron-Math-Proofs-v1 liked a dataset 18 days ago
Goedel-LM/RL_dataset_V2Organizations
None yet