o3, Frontier Math, and the Future of Mathematics (Galois blog)
Published:
Galois blog post: Link
Blog posts
2025
2024
Function Argument Nullability Using an LLM (Galois blog)
Published:
Galois blog post: Link
Generative AI for Specifications (Galois blog)
Published:
Galois blog post: Link
Galois / Twisp: Avoiding Foolishness in Distributed Systems (Galois blog)
Published:
Galois blog post: Link
2023
The Impact of Provable Security: AWS and Supranational (Galois blog)
Published:
Galois blog post: Link
2021
Building a Concurrency Verifier Using Crucible (Galois blog)
Published:
Galois blog post: Link
Who is verifying their cryptographic protocols? (Galois blog)
Published:
Galois blog post: Link
QUIC Testing, a Quick Replication (Galois blog)
Published:
Galois blog post: Link
2020
Proofs Should Repair Themselves (Galois blog)
Published:
Galois blog post: Link