Back to overview
Select a hackathon to feature
Search for your hackathon by name, then choose your featuring tier.
Recursive Self Improvement Hack #5 - Formal Verification in Mathematics
San Francisco, United StatesSep 20, 2026 - Sep 21, 2026
in-person
Select tier