1 1 47

Alun Cennyth Stokes

aluncstokes

https://aluncstok.es

aluncstokes

AI & ML interests

Number theory, arithmetic on curves, dessins d'enfants

Recent Activity

liked a model 9 days ago

mistralai/Voxtral-Mini-3B-2507

liked a model 5 months ago

NousResearch/Hermes-4-70B

liked a model 7 months ago

ibm-granite/granite-speech-3.3-8b

View all activity

Organizations

None yet

liked a model 9 days ago

mistralai/Voxtral-Mini-3B-2507

5B • Updated Jul 28, 2025 • 402k • 607

liked a model 5 months ago

NousResearch/Hermes-4-70B

Text Generation • 71B • Updated Sep 2, 2025 • 14.6k • • 166

liked a model 7 months ago

ibm-granite/granite-speech-3.3-8b

Automatic Speech Recognition • 9B • Updated Aug 19, 2025 • 28.2k • 151

liked 2 datasets 8 months ago

glaiveai/reasoning-v1-20m

Viewer • Updated Mar 19, 2025 • 22.2M • 2.18k • 227

SWE-Gym/SWE-Gym

Viewer • Updated May 10, 2025 • 2.44k • 7.59k • 21

liked a model 9 months ago

nari-labs/Dia-1.6B

Text-to-Speech • Updated Jun 1, 2025 • 71.7k • • 2.82k

liked a dataset 9 months ago

qingy2024/DeepMath-Reformatted

Viewer • Updated Apr 18, 2025 • 103k • 1 • 2

liked a Space 10 months ago

Jinja Playground

🛝

Generate HTML templates using Jinja

liked 3 datasets 10 months ago

liked 2 Spaces 10 months ago

RWKV-Gradio-1

💻

498

Generate text responses based on prompts with customizable settings

MindSearch

📊

Ask questions and get detailed answers with visual search graphs

liked a model 10 months ago

manycore-research/SpatialLM-Llama-1B

Text Generation • 1B • Updated Mar 21, 2025 • 90 • 992

liked 2 Spaces 10 months ago

Theorem Proving Agent

🦀

This is an Agent fine-tuned to prove or disprove theorems.

PROMPT++

✍

235

Refine your prompts

upvoted a collection 11 months ago

InternLM2-Math

Collection

16 items • Updated 22 days ago • 9

liked a dataset 11 months ago

internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 789 • 48

liked a Space 11 months ago

ScholarCopilot

📊

Using RAG LLM to assist your academic writing