Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.
Upstream project repository
A Rust implementation of a conic interior-point solver for convex optimization.
Investigate Do small conic programs with known solutions meet a fixed residual and duality-gap protocol?
Upstream project repository
Numerical tools and solvers for convex optimization with Python interfaces.
Investigate Do candidate quadratic-program solutions meet independently recomputed feasibility and duality-gap bounds?
Upstream project repository
A modeling language for convex optimization problems with numerical solver interfaces.
Investigate Do solver outputs satisfy primal feasibility and Karush–Kuhn–Tucker residual tolerances for a fixed convex quadratic family?
Upstream project repository
Evolutionary algorithm components for population-based optimization experiments.
Investigate How do mutation probabilities affect success frequency under a fixed evolutionary-search budget?
Upstream project repository
Deep-learning optimization system for investigating distributed training memory, communication and state partitioning.
Investigate Does a selected optimizer-partitioning configuration reproduce a single-process parameter update on a tiny synthetic model?
SciPy documentation
A reference for population-based stochastic optimization with bounds, constraints, initialization, updating and random-state controls.
Investigate At equal objective-evaluation budgets, how often are known target values reached across independent initial populations?
CVXPY documentation
A guide to constructing optimization expressions with known signs and curvature under disciplined convex programming rules.
Investigate Can a small suite distinguish mathematically equivalent formulations that are accepted or rejected by the stated DCP rules?
CVXPY documentation
A guide to parameterized convex programs, repeated canonicalization and differentiating solution maps.
Investigate On a smooth, uniquely solved parameterized quadratic problem, do solution sensitivities agree with an analytic derivative?
Upstream project repository
A numerical solver for convex conic optimization problems.
Investigate Does a small norm-constrained model return a candidate consistent with known feasibility and objective bounds?
Upstream project repository
Attention-kernel implementations for comparing memory-efficient computation with a directly specified attention reference.
Investigate Does one supported attention kernel match dense scaled dot-product attention across mask and sequence-length edge cases?
Upstream project repository
Neural-network tooling built around JAX for investigating explicit state, transformations and model composition.
Investigate Does a tiny stateful model preserve its declared parameter/state boundary through a training update and checkpoint?
Upstream project repository
Genetic programming for symbolic regression and related transformations.
Investigate How often does symbolic regression recover an equivalent low-complexity relation across prespecified seeds?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.