Benjamin Bolte

Website

ben.bolte.cc

Speaking appearances

• BASES HACKSPACE x ATOPILE: SMT-SOLVER HACKATHON 2025-02-20 — Stanford
• Hackathon: Solver 100x speed 🚀 2025-02-20 — Stanford