ulamai/verified-research-reasoning-trajectories
Viewer • Updated • 12 • 155
Przemek Chojecki
przemekch
AI & ML interests
None yet
Recent Activity
updated a dataset 22 days ago
ulamai/verified-research-reasoning-trajectories updated a dataset 22 days ago
ulamai/verified-math-olympiad-trajectories published a dataset 22 days ago
ulamai/verified-math-olympiad-trajectoriesOrganizations
updated 2
datasets 22 days ago
published a
dataset 22 days ago
published a
dataset 25 days ago
updated a
dataset 27 days ago
liked a
Space 3 months ago
Formal proofs
👍 1
3
#2 opened 4 months ago
by 
catalin-hanga
liked a
dataset 5 months ago
published a
dataset 5 months ago