Przemek Chojecki
przemekch
AI & ML interests
None yet
Recent Activity
updated a dataset 7 days ago
ulamai/UnsolvedMath updated a dataset 10 days ago
ulamai/verified-research-reasoning-trajectories updated a Space 23 days ago
ulamai/mathcode-miniOrganizations
Formal proofs
👍 1
3
#2 opened 6 months ago
by 
catalin-hanga