Replacing probabilistic AI with deterministic math and Dafny formal verificationgist.github.com2 pointskevinkibeom2 months ago