Skip to content

MathCheck RL 0.2.0

Choose a tag to compare

View all tags
@stanleyngugi stanleyngugi released this 12 Sep 09:17
· 32 commits to main since this release
v0.2.0
895c243

First public MathCheck RL release.

Highlights:

  • answer-key-free bounded specification tasks
  • complete bounded-pair certificates
  • separate legacy finite-observation sequence environment
  • digest-disjoint task splits and exact-input reward caching
  • fail-closed MathCheck Engine integration
  • reproducible release and offline pilot-preregistration gates

Compatibility: the Python distributions remain native-verify, native-verify-spec, and native-verify-seq throughout the 0.x line.

Validation: 111 tests passed and 2 platform-specific tests were intentionally skipped. The clean release gate passed twice with byte-identical wheels and real isolated Lean checks. The GitHub-hosted job is pending because the account billing lock prevented a runner from starting; no workflow step failed.

Assets 6
Loading