1 1 47

Alun Cennyth Stokes

aluncstokes

https://aluncstok.es

aluncstokes

AI & ML interests

Number theory, arithmetic on curves, dessins d'enfants

Organizations

None yet

liked a model 2 months ago

mistralai/Voxtral-Mini-3B-2507

Updated Jul 28, 2025 • 459k • 626

liked a model 6 months ago

NousResearch/Hermes-4-70B

Text Generation • Updated Sep 2, 2025 • 313 • • 172

liked a model 9 months ago

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

Automatic Speech Recognition • 9B • Updated Aug 19, 2025 • 54.7k • 159

liked 2 datasets 10 months ago

glaiveai/reasoning-v1-20m

Viewer • Updated Mar 19, 2025 • 22.2M • 1.18k • 233

SWE-Gym/SWE-Gym

Viewer • Updated May 10, 2025 • 2.44k • 73.3k • 24

liked a model 11 months ago

nari-labs/Dia-1.6B

Text-to-Speech • Updated Jun 1, 2025 • 91.7k • • 2.83k

liked a dataset 11 months ago

qingy2024/DeepMath-Reformatted

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

liked a Space 12 months ago

Jinja Playground

🛝

Generate HTML templates using Jinja

liked 3 datasets 12 months ago

liked 2 Spaces 12 months ago

RWKV-Gradio-1

💻

498

Generate AI-written text from any prompt

MindSearch

📊

Ask questions and get detailed answers with visual search graphs

liked a model 12 months ago

manycore-research/SpatialLM-Llama-1B

Text Generation • Updated Mar 21, 2025 • 243 • 993

liked 2 Spaces about 1 year ago

Theorem Proving Agent

🦀

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

PROMPT++

✍

237

Refine your prompts

liked a dataset about 1 year ago

internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 475 • 51

liked a Space about 1 year ago

ScholarCopilot

📊

Using RAG LLM to assist your academic writing