Alun Cennyth Stokes

aluncstokes
ยท

AI & ML interests

Number theory, arithmetic on curves, dessins d'enfants

Recent Activity

liked a Space about 24 hours ago
AI-Quotient/theorem-proving-agent
liked a Space 2 days ago
baconnier/prompt-plus-plus
upvoted a collection 2 days ago
InternLM2-Math
View all activity

Organizations

None yet

aluncstokes's activity

No public activity