Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.
Upstream project repository
Numerical derivatives, gradients, Jacobians, and Hessians with step-selection methods.
Investigate How do derivative estimates change across step sizes for a fixed family of smooth and cancellation-sensitive functions?
Upstream project repository
Evaluation of numerical array expressions with a specialized execution engine.
Investigate Does fused expression evaluation agree with a high-precision reference near cancellation?
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?
Upstream project repository
Evaluation framework and registry for organizing model tasks and inspecting how examples become aggregate scores.
Investigate Does a deterministic synthetic evaluation preserve example order, expected labels and aggregate denominators?
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?
Upstream project repository
Model optimization integrations for investigating the accuracy and latency consequences of a chosen deployment transformation.
Investigate Does one declared export or optimization path preserve a tiny model's outputs within a frozen tolerance?
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?
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
Labeled tabular data structures with joining, grouping, reshaping, and time-index operations.
Investigate How do join cardinality and missing-key rules affect totals in a synthetic observation table?
Upstream project repository
Parameterization and execution of notebooks for repeatable computational workflows.
Investigate Does an isolated parameterized notebook run preserve supplied parameters and produce the independently expected deterministic output?
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?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.