CryptoPatrick / research

Research

Notes and experiments at the boundary of mathematics, machine learning, and security. Every figure is interactive and every number is computed in your browser.

  1. Formal Methods · October 6, 2026 Generate, but verify. A language model translates railway safety rules into logic. Two independent theorem provers decide whether it got them right.