hedgehog0/Qwen3.5-0.8B-Math-Questions
Viewer • Updated • 20 • 27
Jing Guo PRO
hedgehog0
AI & ML interests
AI for Mathematics, theoretical computer science, and extremal combinatorics
Recent Activity
upvoted a paper about 6 hours ago
130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? liked a dataset 5 days ago
roneneldan/TinyStories liked a model 13 days ago
amd/ReasonLite-0.6BOrganizations
