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?
Upstream project repository
Numerical routines for integration, differential equations, optimization, transforms, and statistical analysis.
Investigate Which declared tolerances are attained by adaptive quadrature on a fixed family of endpoint-singular integrals?
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
Multi-environment agent benchmark repository for investigating task adapters and evaluation consistency.
Investigate Can a single reviewed environment separate malformed agent actions, infrastructure errors and genuine task failures?
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
Volatility modeling, time-series tests, and resampling tools for econometric analysis.
Investigate How do fitted conditional variances compare with known synthetic GARCH trajectories at a fixed sample size?
Upstream project repository
Diagnostics, summaries, and visualization support for Bayesian inference results.
Investigate Which diagnostics distinguish deliberately separated chains from independently generated draws of the same target?
Upstream project repository
Astronomical computation tools for units, coordinates, time, tables, and data formats.
Investigate Do selected unit and coordinate transformations meet independently established reference values and tolerances?
Upstream project repository
A formula-based interface for Bayesian regression and hierarchical models.
Investigate How does partial pooling change group-mean estimation error under a specified synthetic hierarchy?
Upstream project repository
Bayesian optimization for bounded black-box objective functions.
Investigate Does a fixed acquisition strategy reduce regret faster than a prespecified random-search baseline on a bounded objective?
Upstream project repository
Evaluation harness for code language models with task-specific generation and execution workflows.
Investigate Can a chosen task adapter preserve generation settings, sample identity and execution status through evaluation?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.