6 projects
vlabs-sdk
SDK contracts and clean promotion-gate CLI for Verifiable Labs: run modes, model-provider interface, typed schemas, and a property-tested formal-spec mirror.
vlabs-calibrate
Conformal coverage guarantees for any reward function — wrap a Python callable with provable (1-α) coverage in 5 lines.
verifiable-labs-envs
Reinforcement-learning environments for scientific reasoning: physics-grounded inverse problems with uncertainty-calibrated rewards.
3 archived projects
verifiable-labs-code-humaneval-multiturn Archived
Multi-turn procedural code-execution RL environment with test-feedback rollouts and conformal coverage
verifiable-labs-code-humaneval Archived
Single-turn procedural code-execution RL environment with sandboxed pytest scoring and conformal coverage
verifiable-labs Archived
Python SDK + CLI for Verifiable Labs — evaluate frontier LLMs on conformal-calibrated scientific RL environments.
