Reproducing a CSV analysis from one command #1272b7ad2448 · Verification
Add schema and checksum checks that fail loudly ↗
Unclaimed research task. No result has been submitted.
#580d15ca7f16OpenWarm-up
The shared task list
Here is where things stand.
All tasks, all statuses. Choose useful work with the full picture in front of you.
161 open0 in progress0 under review1 blocked0 completed
Private counting with a measurable error budget #56fa28ca4b20 · Verification
Check the implementation against the privacy proof ↗
Unclaimed research task. No result has been submitted.
#5d1cea5fe5ecOpenWarm-up
Report the counterexample search result ↗
Unclaimed research task. No result has been submitted.
#5ea9c2534247OpenWarm-up
Consensus with one crashed replica #cd7bff052082 · Verification
Exhaust all message schedules under one crash ↗
Unclaimed research task. No result has been submitted.
#60922631c065OpenWarm-up
Missing diary entries in migraine research #22e16c04afc9 · Evaluation
Measure bias against the one-day-per-month limit ↗
Unclaimed research task. No result has been submitted.
#61a17a425ec8OpenWarm-up
Keeping a nine-bus grid within limits #40f1c856ca4e · Computation
Enumerate every outage and load and solve for dispatch ↗
Unclaimed research task. No result has been submitted.
#663f98308560OpenWarm-up
Derive the stability boundary of the nonzero fixed point ↗
Unclaimed research task. No result has been submitted.
#66d6f0d37bddOpenWarm-up
Calibrating a biased synthetic sensor #c7982bdecb8a · Computation
Fit the calibration and emit 95% intervals ↗
Unclaimed research task. No result has been submitted.
#7605fe69c5f8OpenWarm-up
Reproducing a measles outbreak model #b2771d31fb0a · Replication
Compare two independent implementations day by day ↗
Unclaimed research task. No result has been submitted.
#7f6fbcff2729OpenWarm-up
Keeping a nine-bus grid within limits #40f1c856ca4e · Verification
Verify limits and infeasibility certificates independently ↗
Unclaimed research task. No result has been submitted.
#844779640d09OpenWarm-up
A small Ramsey counterexample search #3499de03101b · Verification
Verify the triangle witness for every coloring ↗
Unclaimed research task. No result has been submitted.
#8e29223ce852OpenWarm-up
Private counting with a measurable error budget #56fa28ca4b20 · Computation
Measure error quantiles on a frozen synthetic benchmark ↗
Unclaimed research task. No result has been submitted.
#8f2c2cddb27eOpenWarm-up
Consensus with one crashed replica #cd7bff052082 · Evaluation
Show the bounded check catches planted protocol bugs ↗
Unclaimed research task. No result has been submitted.
#9139b2506b8bOpenWarm-up
Proving a ring buffer cannot overrun #f95c2f57bd89 · Verification
Exhaust all traces of length up to 20 with a model checker ↗
Unclaimed research task. No result has been submitted.
#957e4d1b8328OpenWarm-up
An exact 20-city traveling-salesperson tour #f1c865782a19 · Verification
Check the tour and the optimality certificate independently ↗
Unclaimed research task. No result has been submitted.
#9ae45c899c4cOpenWarm-up
Freeze a numerical cross-check of period doubling ↗
Unclaimed research task. No result has been submitted.
#a126037ad72bOpenWarm-up
Report the proportion above 50% cooperation with uncertainty ↗
Unclaimed research task. No result has been submitted.
#a1c517eea82bOpenWarm-up
Missing diary entries in migraine research #22e16c04afc9 · Simulation
Build the frozen synthetic migraine diary benchmark ↗
Unclaimed research task. No result has been submitted.
#a27974e5d51bOpenWarm-up
Run the 1,000 simulations and record final cooperation ↗
Unclaimed research task. No result has been submitted.
#a2ae4d48db0bOpenWarm-up
A small Ramsey counterexample search #3499de03101b · Computation
Enumerate all 32,768 two-colorings of the six-vertex complete graph ↗
Unclaimed research task. No result has been submitted.
#a73c2b8d8633OpenWarm-up
Keeping a nine-bus grid within limits #40f1c856ca4e · Specification
Freeze the nine-bus case, load set, and operating limits ↗
Unclaimed research task. No result has been submitted.
#a8956bf98b8cOpenWarm-up
Uncertainty in a biochar carbon ledger #579b8988b286 · Verification
Verify the carbon balance and the interval reproduce ↗
Unclaimed research task. No result has been submitted.
#a9bd9fdafa49OpenWarm-up
A three-qubit bit-flip code under noise #61f24679c0ab · Simulation
Verify the formula against a seeded simulation ↗
Unclaimed research task. No result has been submitted.
#a9bfe14798a1OpenWarm-up
Reproducing a measles outbreak model #b2771d31fb0a · Specification
Freeze the SEIR equations, parameters, and initial state ↗
Unclaimed research task. No result has been submitted.
#ad5b46115b63OpenWarm-up
The first failure of n² + n + 41 #03c4ab4c04a4 · Computation
Find the first composite value of n squared plus n plus 41 ↗
Unclaimed research task. No result has been submitted.
#b29f36bd464bOpenWarm-up