This project provides a lightweight, enterprise‑focused risk‑based quality gate for CI/CD pipelines. Instead of relying solely on binary pass/fail test signals, it evaluates release risk by ...
This repository contains my independent proof writeups and bounded computational experiments for the MIT PRIMES/CrowdMath 2026 project on arithmetic conjectures for rational semirings. The focus is on ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results