Software + Compare
statsmodels Upstream project repository
Statistical model estimation, hypothesis tests, diagnostics, and time-series analysis.
Investigate How do reported least-squares coefficients and standard errors behave as synthetic regressors become nearly collinear?
Listing reviewed · source terms apply ↗
Datasets + Compare
Steel Industry Energy Consumption UCI Machine Learning Repository
Industrial electricity measurements for auditing calendar-aware energy forecasts.
Investigate Does a simple seasonal model match a richer steel-industry demand model on the final time block?
Listing reviewed · source terms apply ↗
Datasets + Compare
Steel Plates Faults UCI Machine Learning Repository
Steel-surface fault descriptors for inspecting industrial multiclass prediction.
Investigate Which steel-fault classes remain difficult after train-only scaling and class-balanced reporting?
Listing reviewed · source terms apply ↗
Original examples + Compare
Step refinement for explicit Euler decay Executable Science local pilot drafts
Integrate y'=-y from zero to one at five resolutions and compare each final value with the analytical exponential solution.
Investigate How does the final-time error change when the step size is halved?
Listing reviewed · source terms apply ↗
Datasets + Compare
StoneFlakes UCI Machine Learning Repository
Stone-artifact measurements for investigating small-sample archaeological classification.
Investigate How stable are stone-flake group distinctions under leave-one-artifact-out evaluation?
Listing reviewed · source terms apply ↗
Original examples + Compare
Streaming reservoir sampling with marginal-frequency checks Executable Science local pilot drafts
Implement bounded-memory reservoir sampling and record sample integrity plus marginal inclusion frequencies across a fixed-seed simulation.
Investigate Does the sampler preserve sample size and approach the known per-item inclusion probability?
Listing reviewed · source terms apply ↗
Original examples + Compare
Summation with a large dynamic range Executable Science local pilot drafts
Compare sequential sum and math.fsum on a repeated cancellation pattern, with a Fraction reference for the exact represented inputs.
Investigate Which summation strategy preserves the small contributions in this adversarial finite sequence?
Listing reviewed · source terms apply ↗
Datasets + Compare
Superconductivty Data UCI Machine Learning Repository
Material-composition descriptors and transition temperatures for investigating materials prediction.
Investigate How does superconducting-temperature error change under composition-grouped splitting?
Listing reviewed · source terms apply ↗
Datasets + Compare
Swarm Behaviour UCI Machine Learning Repository
Agent-swarm descriptors for studying emergent-state recognition in simulation data.
Investigate Can a swarm-state model generalize to withheld simulation parameter settings?
Listing reviewed · source terms apply ↗
Software + Compare
SWE-agent Upstream project repository
Agent tooling for interacting with code repositories and attempting software engineering tasks through a controlled interface.
Investigate Does a deterministic toy repository expose whether an agent's claimed edit matches the actual patch and test evidence?
Listing reviewed · source terms apply ↗
Software + Compare
SWE-bench Upstream project repository
Software issue-resolution benchmark and evaluation tooling for studying patch assessment and reproducibility.
Investigate Can one explicitly licensed fixture demonstrate that patch application and test-result collection preserve the original issue/task identity?
Listing reviewed · source terms apply ↗
Software + Compare
SymPy Upstream project repository
Symbolic expressions, algebra, calculus, and mathematical transformations in Python.
Investigate Do symbolic derivatives agree with an independent quotient-rule construction on nonsingular rational test functions?
Listing reviewed · source terms apply ↗
Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.