CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib OptimizationAffine Dependency graph arXiv ↗ GitHub ↗ commit 7bf8816 Mathlib.Optimization.Affine Affine sign-cell methods for constrained optimization. SignCell 26 core · 28 supporting · 6 submodules Optimization over regions determined by affine sign restrictions, including closure, common-slack, extrema, and polynomial formulations.