Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.
Upstream project repository
Combinatorial optimization tools for routing, scheduling, flows, and constraint programming.
Investigate Does a tiny job-shop fixture produce a feasible schedule with the enumerated minimum makespan?
Upstream project repository
An operator-splitting numerical solver for convex quadratic programs.
Investigate Do warm starts change work while preserving fixed quadratic-program residual tolerances?
Upstream project repository
Parameter-efficient model adaptation methods for testing trainable-parameter budgets and adapter composition.
Investigate Does a low-rank adapter preserve the frozen base parameters and produce the same outputs before and after an explicitly supported merge?
Upstream project repository
Linear and mixed-integer optimization modeling in Python with external solver interfaces.
Investigate Does a mixed-integer allocation model recover the enumerated optimum under a fixed capacity constraint?
Upstream project repository
Covariance-matrix adaptation evolution strategies for derivative-free numerical optimization.
Investigate How does coordinate rotation affect fixed-budget convergence on a chosen quadratic family?
Upstream project repository
Multi-objective optimization algorithms, operators, and analysis tools.
Investigate How does a fixed multi-objective algorithm approach an analytic Pareto front as the evaluation budget increases?
Upstream project repository
Algebraic optimization modeling for linear, integer, nonlinear, and other mathematical programs.
Investigate Does a small linear production model retain the same feasible region after an equivalent algebraic reformulation?
Upstream project repository
Finite-domain constraint satisfaction for combinatorial search problems in Python.
Investigate Does constraint-based enumeration return exactly the feasible assignments for a bounded all-different scheduling fixture?
Upstream project repository
Tensor computation and automatic differentiation framework for constructing controlled learning and gradient experiments.
Investigate Do automatic gradients agree with analytical derivatives for a small well-conditioned scalar objective?
Upstream project repository
Training-loop framework for studying checkpoint restoration, reproducibility and separation of model logic from orchestration.
Investigate Does resuming a tiny deterministic run from a checkpoint match its uninterrupted reference?
Upstream project repository
Distributed execution and machine-learning infrastructure for studying task scheduling, tuning and fault handling.
Investigate Does a small synthetic parameter sweep retain each trial's identity and failure state under a declared retry policy?
Upstream project repository
A splitting conic solver for numerical convex optimization.
Investigate How do scaling choices affect residual accuracy for equivalent small conic programs?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.