Formal-Verification
How Adaptive Domain Models Could Change the Game
June 8, 2026
A Scaffold for Constrained Language Models
June 8, 2026
Building the Constrained Language Model
June 8, 2026
Reversible Cores and Inference-Time Recall
June 8, 2026
Unexpected Fusion
September 29, 2025
Categorical Deep Learning and Universal Numbers
August 10, 2025
Speed & Safety with Graph Coloring
July 19, 2025