Software
Haiku
Upstream project repository
Neural-network transformations for JAX, supporting studies of parameter initialization and functional apply behavior.
Investigate Does separating initialization from application preserve a small network's parameter identity and deterministic output?
Listing reviewed · source terms apply↗
Software
HiGHS
Upstream project repository
Solvers for linear, mixed-integer, and quadratic optimization problems.
Investigate Do returned transportation plans satisfy supply/demand constraints and a matching dual bound?
Listing reviewed · source terms apply↗
Software
JAX
Upstream project repository
Array transformations and automatic differentiation for examining compilation, vectorization and functional numerical programs.
Investigate Do eager, vectorized and compiled forms of a small differentiable calculation agree under the same dtype policy?
Listing reviewed · source terms apply↗
Software
Keras
Upstream project repository
Neural-network APIs for examining model behavior across declared computation backends.
Investigate Can the same small model and weights produce consistent predictions across two supported backends?
Listing reviewed · source terms apply↗
Methods
least_squares
SciPy documentation
A reference for bounded nonlinear least squares, including Jacobians, robust losses, scaling and termination behavior.
Investigate How do robust-loss choice and variable scaling affect parameter recovery and residual error in a controlled contaminated-data fit?
Listing reviewed · source terms apply↗
Software
lmfit
Upstream project repository
Nonlinear model fitting with named parameters, constraints, and uncertainty-analysis tools.
Investigate How do parameter estimates and residuals change as two synthetic peaks become less separated?
Listing reviewed · source terms apply↗
Software
Nevergrad
Upstream project repository
Derivative-free optimization methods and benchmark interfaces.
Investigate Which derivative-free optimizers attain lower regret under an identical bounded evaluation budget?
Listing reviewed · source terms apply↗
Software
NLopt
Upstream project repository
A common interface to nonlinear optimization algorithms, with and without derivatives.
Investigate How do fixed nonlinear optimizers differ in feasibility and stationarity at equal evaluation budgets?
Listing reviewed · source terms apply↗
Software
OLMo
Upstream project repository
Language-model research training repository for studying configuration transparency and reproducibility of model-building workflows.
Investigate Can a tiny authored-data configuration document every training input, optimizer choice and checkpoint dependency before execution?
Listing reviewed · source terms apply↗
Software
Optax
Upstream project repository
Gradient transformation and optimization tools for testing optimizer state and update equations.
Investigate Does one fixed optimizer produce the hand-derived first two updates for a scalar quadratic?
Listing reviewed · source terms apply↗
Methods
Optimization (scipy.optimize)
SciPy documentation
A solver-selection guide spanning local and global optimization, roots, constrained problems, linear programming and assignment.
Investigate Which solver classes satisfy a fixed accuracy and feasibility target on a small declared suite of smooth and constrained problems?
Listing reviewed · source terms apply↗
Software
Optuna
Upstream project repository
Automated hyperparameter search with trial management, sampling, and pruning methods.
Investigate How do fixed samplers compare after the same number of evaluations on a known multimodal objective?
Listing reviewed · source terms apply↗
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.