Alun Cennyth Stokes
aluncstokes
AI & ML interests
Number theory, arithmetic on curves, dessins d'enfants
Recent Activity
liked
a Space
about 21 hours ago
AI-Quotient/theorem-proving-agent
liked
a Space
1 day ago
baconnier/prompt-plus-plus
upvoted
a
collection
2 days ago
InternLM2-Math
Organizations
None yet
aluncstokes's activity
No public activity