Aidan Yang

athanor-ai's activity

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

updated a dataset 1 day ago

neurips-2026-avs-bench/formal-anytime-valid-stats

Viewer • Updated 1 day ago • 60 • 50

published a dataset 4 days ago

neurips-2026-avs-bench/formal-anytime-valid-stats

Viewer • Updated 1 day ago • 60 • 50

updated a dataset 4 days ago

athanor-ai/formal-anytime-valid-stats

Viewer • Updated 4 days ago • 60 • 90

updated a model 14 days ago

athanor-ai/DeepSeek-Prover-V2-7B-GPTQ-4bit

Text Generation • 7B • Updated 14 days ago • 74 • 1

published a dataset 14 days ago

athanor-ai/formal-anytime-valid-stats

Viewer • Updated 4 days ago • 60 • 90

published a model 14 days ago

athanor-ai/DeepSeek-Prover-V2-7B-GPTQ-4bit

Text Generation • 7B • Updated 14 days ago • 74 • 1