Skip to content

Simulated user v2, optional CHECKER (official setup), grader 0.8.7 - #1

Merged
that-guy-wade merged 14 commits into
mainfrom
exp/simulated-user-fidelity
Oct 10, 2026
Merged

Simulated user v2, optional CHECKER (official setup), grader 0.8.7#1
that-guy-wade merged 14 commits into
mainfrom
exp/simulated-user-fidelity

Official setup: the CHECKER also answers whether a result holds (grad…

7561fa9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar