Procedural data generators suite for synthetic pretraining and formal reasoning

Context & Guide For Reinforcement Learning with Verifiable Rewards with Large Language Models

Score the trustworthiness of outputs from any LLM in real-time

Open Arena: SLM verifiers across observability platforms, dataset and model catalogs, and value scenarios for LLM, agentic and harness evals.

Verifier-gated RL environment packager: audit a verifier for gameability with rewardfuzz before you ship it (verifiers/OpenEnv emit, fail-closed gate).

A verifiers RL environment that trains models to propose novel, evidence-grounded, falsifiable hypotheses. Rewards novelty with accountability.

A verifiers RLM environment for testing whether adaptive recursive search outperforms brittle manual RAG choreography on long synthetic corpora.

Prime-RL / verifiers TSP environment (10-city hard config, lenient parser, eval-ready)

Verifiers hello world repo

Surge AI — large-scale human-labeled data for LLM training

Typed asset shapes + visual + headless views for AI agents. One asset definition. Three rendering targets (HTML / Markdown / Text).

Pre-publish, fail-closed adversarial gate for RL-verifier Environments. A falsifier of reward-hackability, not a prover of safety.