Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.
Upstream project repository
Scientific coding benchmark repository linking problem formulations and evaluation logic for researcher-oriented model assessment.
Investigate Can one rights-reviewed scientific coding task distinguish a syntactically valid solution from numerical correctness under fixed tolerances?
Upstream project repository
Algorithms and data structures for biological sequences, diversity, and related analyses.
Investigate Do selected diversity measures match explicit formulas on a fixed set of abundance vectors?
Upstream project repository
Finite-element assembly and related numerical tools implemented for Python workflows.
Investigate Does mesh refinement achieve the expected error trend for a manufactured Poisson solution?
Upstream project repository
Image-processing algorithms for filtering, segmentation, morphology, and measurement.
Investigate Do connected-component labels agree with explicit graph connectivity on tiny binary images?
Upstream project repository
Machine-learning estimators, preprocessing tools, model-selection routines, and evaluation metrics.
Investigate How much does fitting preprocessing before cross-validation bias a fixed synthetic prediction experiment?
Upstream project repository
Radio-frequency network analysis, calibration, and parameter-conversion tools.
Investigate Do scattering and impedance parameter conversions round-trip under fixed reference impedances?
Upstream project repository
Survival-analysis models and evaluation tools with a scikit-learn-style interface.
Investigate Does a concordance metric match explicit enumeration of comparable pairs under fixed censoring rules?
Upstream project repository
A splitting conic solver for numerical convex optimization.
Investigate How do scaling choices affect residual accuracy for equivalent small conic programs?
Upstream project repository
Embedding and reranking tooling for evaluating retrieval behavior and representation similarity on controlled corpora.
Investigate How do normalization and similarity choices change rankings in a tiny authored retrieval fixture?
Upstream project repository
Finite-element solution of systems of partial differential equations.
Investigate Do displacement and stress errors decrease under refinement for a fully specified linear-elasticity fixture?
Upstream project repository
Model-serving and structured-generation tooling for evaluating runtime behavior on controlled language-model workloads.
Investigate Do constrained outputs satisfy a prespecified small grammar under the selected serving backend?
Upstream project repository
Methods for attributing model predictions to input features using Shapley-based ideas.
Investigate Do selected feature attributions match exhaustive Shapley values under a fully specified background distribution?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.