OxfordCommand

Karma: 5
Created: 1 year ago

Recent Submissions

1. ▲ Corca raised a $7.8M seed led by NEA, NVenture to democratize math for everyone (twitter.com) 3 points · 4 months ago · 0 comments
2. ▲ ArXivLean: How Well Can LLMs Formally Prove Research Math? (matharena.ai) 3 points · 6 months ago · 0 comments
3. ▲ Ultimate Linear Algebra Cheat Sheet (corca.app) 1 point · 1 year ago · 0 comments
4. ▲ College Level Math Cheat Sheets (corca.app) 2 points · 1 year ago · 0 comments
5. ▲ Harvard Admission Exam 1869 – Algebra (corca.app) 8 points · 1 year ago · 0 comments

All submissions on HN · View profile on HN