Research software

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?