Prediction-calibrated analytic bounds with an application to exact Boolean formula complexity.
machine-learning reproducible-research logic-synthesis computational-complexity conformal-prediction boolean-functions exact-synthesis boolean-complexity formula-complexity analytic-bounds
-
Updated
Sep 23, 2026 - Python