Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.
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
Model-order reduction tools for parameterized dynamical systems and numerical models.
Investigate How does reduced-basis dimension affect held-out error in a fixed linear parametric model?
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
Python bindings for coordinate transformations and geodetic calculations in PROJ.
Investigate Does a fixed coordinate transformation preserve the declared axis convention and a prespecified round-trip tolerance?
Upstream project repository
Probabilistic programming and inference built around the PyTorch numerical stack.
Investigate How much bias remains in a fixed variational approximation to a conjugate posterior?
Upstream project repository
Tensor expression graphs, automatic differentiation, and compilation for numerical computation.
Investigate Do automatic gradients match analytic derivatives across a fixed grid of nonsingular inputs?
Upstream project repository
Analysis and design tools for linear and nonlinear control systems.
Investigate Do state-space and transfer-function forms produce the same first-order step response within fixed tolerances?
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
Discrete and continuous wavelet transforms for numerical signal analysis.
Investigate How do boundary modes affect reconstruction and coefficient interpretation for short synthetic signals?
Upstream project repository
Numerical simulation and analysis of quantum systems and open-system dynamics.
Investigate Does a fixed two-level evolution preserve trace and reproduce analytic populations under the chosen equation?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.