Edward Beeching PRO

edbeeching's activity

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

upvoted an article about 13 hours ago

view article

Article

Mixture of Experts (MoEs) in Transformers

• 
• 
• +5

5 days ago

•

105

updated a model 17 days ago

lm-provers/QED-Nano-SFT

Text Generation • 4B • Updated 16 days ago • 190 • 5

updated a Space 18 days ago

Running

Featured

56

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems

📝

56

Who needs 1T parameters? Olympiad proofs with a 4B model

published a model 18 days ago

lm-provers/QED-Nano-SFT

Text Generation • 4B • Updated 16 days ago • 190 • 5

updated a dataset 19 days ago

lm-provers/FineProofs-SFT

Viewer • Updated 16 days ago • 12.1k • 330 • 36

updated a collection 19 days ago

QED Nano

Collection

Artifacts for the QED Nano release • 9 items • Updated about 12 hours ago • 6

updated 2 models about 1 month ago

edbeeching/Qwen3-0.6B-untied

Text Generation • 0.8B • Updated Jan 30 • 86

edbeeching/fixed-Qwen3-30B-A3B-Thinking-2507-SFT-v03.01-step-000000062

Text Generation • 31B • Updated Jan 23 • 6

published a model about 1 month ago

edbeeching/fixed-Qwen3-30B-A3B-Thinking-2507-SFT-v03.01-step-000000062

Text Generation • 31B • Updated Jan 23 • 6

updated a model about 2 months ago

edbeeching/Qwen3-30B-A3B-Thinking-2507-trans-5.0-format

Text Generation • 31B • Updated Jan 15 • 281

published a model about 2 months ago

edbeeching/Qwen3-30B-A3B-Thinking-2507-trans-5.0-format

Text Generation • 31B • Updated Jan 15 • 281