Matthew Sawyer

on the atlas · 3

• LLMs are making formal software verification feasible at a much larger scale \ Anthropic7 savers
• Neural Networks Are Already Clean55 savers
• Curius / Onboarding2704 savers