Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.
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?
UCI Machine Learning Repository
Chemical descriptors and aquatic bioassay outcomes for a bounded ecotoxicology regression audit.
Investigate Which compounds dominate aquatic-toxicity error after train-only preprocessing and influence analysis?
UCI Machine Learning Repository
Molecular descriptors and biodegradation labels for checking chemical prediction protocols.
Investigate How does chemical-group-aware splitting change biodegradation classification performance?
UCI Machine Learning Repository
Chemical descriptors and fish bioconcentration factors for studying environmental-property prediction.
Investigate How does bioconcentration prediction change when related chemicals are kept in the same fold?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.