Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.
Upstream project repository
Multidimensional array operations and numerical linear algebra for scientific Python.
Investigate How do sequential and pairwise array reductions behave on cancellation-heavy inputs?
Upstream project repository
Property-based testing tools that generate and simplify test inputs.
Investigate Can a fixed property-based test expose a specified floating-point overclaim within a bounded search protocol?
ReScience C
A replication about reinforcement-learning-based program debloating and its relationship to unit tests and reduction procedures.
Investigate For a benign evaluator-authored toy program, how much reduction is possible without violating a held-out behavioral test suite?
Upstream project repository
Training and inference orchestration for studying device placement, mixed precision and distributed execution without changing the scientific objective.
Investigate Does one controlled optimization step agree between a single-device reference and a fixed distributed configuration?
Upstream project repository
Experiment tracking and comparison tooling for inspecting metric histories and run metadata.
Investigate Do two fixed synthetic metric streams retain their step ordering and run identity after export and comparison?
Upstream project repository
Bioinformatics tools for sequence data, biological file formats, and related analyses.
Investigate Do selected sequence operations preserve declared alphabet and identifier semantics on a generated FASTA fixture?
Upstream project repository
Low-precision tensor and optimizer components for investigating memory and numerical-error tradeoffs.
Investigate How does one supported quantization configuration change a small fixed matrix product relative to a high-precision reference?
Upstream project repository
Model interpretability algorithms for checking attribution behavior against simple functions with known contributions.
Investigate Does a selected attribution method recover known contributions for a linear model under a fixed baseline?
Upstream project repository
Assertions and testing utilities for JAX programs, useful for expressing shape, type and transformation expectations.
Investigate Do declared shape and tree invariants detect deliberately malformed inputs to a tiny numerical function?
Upstream project repository
Serialization support for Python constructs used in distributed and interactive computation.
Investigate Which closure-capture patterns round-trip with identical outputs under the same pinned Python version?
Upstream project repository
Task graphs and parallel collections for array, table, and general Python computation.
Investigate How do chunk layouts change floating-point reduction error for the same input array?
Upstream project repository
Deep-learning optimization system for investigating distributed training memory, communication and state partitioning.
Investigate Does a selected optimizer-partitioning configuration reproduce a single-process parameter update on a tiny synthetic model?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.