WuProver

non-profit

https://huggingface.co/WuProver

AI & ML interests

None defined yet.

Recent Activity

ahhwuhu updated a dataset 10 days ago

WuProver/PutnamBench2025

ahhwuhu published a dataset 10 days ago

WuProver/PutnamBench2025

ahhwuhu updated a dataset 11 days ago

WuProver/PutnamBench2025

View all activity

models 0

None public yet

datasets 1

WuProver/PutnamBench2025

Viewer • Updated 10 days ago • 12 • 40