Alun Cennyth Stokes

aluncstokes's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

liked a model 3 months ago

mistralai/Voxtral-Mini-3B-2507

5B • Updated Jul 28, 2025 • 587k • 639

liked a model 8 months ago

NousResearch/Hermes-4-70B

Text Generation • Updated Sep 2, 2025 • 1k • • 183

liked a model 10 months ago

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

Automatic Speech Recognition • 9B • Updated 15 days ago • 83k • 166

liked 2 datasets 11 months ago

glaiveai/reasoning-v1-20m

Viewer • Updated Mar 19, 2025 • 22.2M • 11.8k • 234

SWE-Gym/SWE-Gym

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

liked a model 12 months ago

nari-labs/Dia-1.6B

Text-to-Speech • Updated Jun 1, 2025 • 87.2k • • 2.84k

liked a dataset 12 months ago

qingy2024/DeepMath-Reformatted

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

liked a Space about 1 year ago

Running

37

Jinja Playground

🛝

37

Generate HTML templates using Jinja

liked 3 datasets about 1 year ago

TIGER-Lab/MATH-plus

Viewer • Updated May 21, 2024 • 894k • 467 • 46

TIGER-Lab/ScholarCopilot-Data-v1

Viewer • Updated Apr 3, 2025 • 677k • 68 • 7

TIGER-Lab/TheoremExplainBench

Viewer • Updated Mar 31, 2025 • 240 • 16 • 31

liked 2 Spaces about 1 year ago

Running on T4

Agents

498

RWKV-Gradio-1

💻

498

Generate detailed text responses with a powerful language model

Build error

Agents

53

MindSearch

📊

53

Ask questions and get detailed answers with visual search graphs

liked a model about 1 year ago

manycore-research/SpatialLM-Llama-1B

Text Generation • 1B • Updated Mar 21, 2025 • 853 • 993

liked 2 Spaces about 1 year ago

Sleeping

Agents

2

Theorem Proving Agent

🦀

2

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

Running

Agents

238

PROMPT++

✍

238

Refine your prompts

upvoted a collection about 1 year ago

InternLM2-Math

Collection

16 items • Updated Dec 30, 2025 • 10

liked a dataset about 1 year ago

internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 2.13k • 52

liked a Space about 1 year ago

Running

25

ScholarCopilot

📊

25

Using RAG LLM to assist your academic writing

liked a dataset about 1 year ago

microsoft/MILP-Evolve

Updated Mar 20, 2025 • 301 • 5