Przemek Chojecki
przemekch
AI & ML interests
None yet
Recent Activity
updated a dataset 5 days ago
ulamai/verified-research-reasoning-trajectories updated a dataset 5 days ago
ulamai/verified-math-olympiad-trajectories published a dataset 5 days ago
ulamai/verified-math-olympiad-trajectoriesOrganizations
Formal proofs
👍 1
3
#2 opened 3 months ago
by 
catalin-hanga