Can We Secure AI With Formal Methods? | Quinn Dougherty | Substack

Can We Secure AI With Formal Methods? January-March 2026

I'm overwhelmed, cut me some slack.

Apr 2 • Quinn Dougherty

Can We Secure AI With Formal Methods? November-December 2025

Give thanks for benchmarks with “Veri-” in the title.

Nov 29, 2025 • Quinn Dougherty

July-October 2025 Progress in Guaranteed Safe AI

Hot FMxAI Summer grinds along. Many new founders on the scene. Thinking of rebranding the newsletter away from “guaranteed”.

Oct 22, 2025 • Quinn Dougherty

May-June 2025 Progress in Guaranteed Safe AI

Benchmarks! Get your benchmarks! A startup and a nonprofit lab each launch

Jun 26, 2025 • Quinn Dougherty

March-April 2025 Progress in Guaranteed Safe AI

Who even pays for patching open source software? And ARIA news

Apr 20, 2025 • Quinn Dougherty

Can We Secure AI With Formal Methods?

About Archive Recommendations Sitemap

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts