Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.
UCI Machine Learning Repository
GPU-kernel configuration and timing observations for studying bounded performance prediction.
Investigate How does kernel-runtime prediction generalize when configuration families are held out?
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?
Upstream project repository
Planar geometry objects and spatial operations backed by GEOS.
Investigate Do polygon intersections match known areas and boundary relations for a fixed family of axis-aligned rectangles?
SciPy documentation
A signal-processing guide covering convolution, filtering, spectral estimation and short-time Fourier transforms.
Investigate How do window and padding choices affect recovered amplitude and spectral leakage for a known multitone signal?
Upstream project repository
Process-based discrete-event simulation of interacting activities and shared resources.
Investigate Does a single-server queue simulation match a hand-computed event schedule before stochastic assumptions are introduced?
Stan User's Guide / Stan Development Team
A guide to checking Bayesian inference algorithms by simulating parameters and datasets from a model and examining posterior ranks or coverage.
Investigate Can a deliberately biased posterior sampler be distinguished from an exact conjugate sampler by a prespecified rank-uniformity diagnostic?
Upstream project repository
Simulation tools for interconnected dynamical systems and block-diagram models.
Investigate Does a small block-diagram simulation match the independently assembled linear-system response?
Upstream project repository
Generalized linear models with sparse and structured regularization solvers.
Investigate Does a small L1-regularized regression candidate satisfy coordinatewise subgradient conditions?
Upstream project repository
Time-series learning interfaces for forecasting, classification, transformation, and evaluation.
Investigate Does a rolling-origin forecast experiment preserve temporal separation across all transformations and splits?
Executable Science local pilot drafts
Provide Dijkstra and Bellman–Ford implementations with hand-enumerated reference graphs, explicit negative-edge rejection, and a negative-cycle control.
Investigate Do the implementations respect their input assumptions and return the expected distances on the supplied controls?
UCI Machine Learning Repository
Solar-region attributes and flare counts for studying rare-event prediction.
Investigate How well does a count baseline predict flare magnitude when rare outcomes receive explicit uncertainty intervals?
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.