arxiv:2602.20629
Jing Guo PRO
hedgehog0
AI & ML interests
AI for Mathematics, theoretical computer science, and extremal combinatorics
Recent Activity
liked a dataset 7 days ago
tiny-aya-math-edition/math-bench liked a model 10 days ago
mistralai/Leanstral-2603 liked a dataset 13 days ago
SAIRfoundation/equational-theories-selected-problemsOrganizations
