Przemek Chojecki
przemekch
AI & ML interests
None yet
Recent Activity
updated a dataset about 5 hours ago
ulamai/verified-research-reasoning-trajectories updated a Space 13 days ago
ulamai/mathcode-mini updated a dataset 13 days ago
ulamai/mathcode-mini-tracesOrganizations
Formal proofs
👍 1
3
#2 opened 5 months ago
by 
catalin-hanga