Projects in Awesome Lists tagged with verifiers
A curated list of projects in awesome lists tagged with verifiers .
https://github.com/sileod/reasoning-core
Procedural symbolic reasoning data generators suite for synthetic pretraining
data-generators dataset dataset-generation grpo llm logic pre-pre-training pre-training procedural procedural-dataset procedural-generation reasoning rlvr symbolic verifiers
Last synced: 02 Apr 2026
https://github.com/cleanlab/tlm
Score the trustworthiness of outputs from any LLM in real-time
ai-agents ai-safety confidence-estimation data-extraction data-labeling error-detection evals evaluation guardrails hallucination hallucination-detection human-in-the-loop-ai llm llm-as-a-judge llm-evaluation rag structured-outputs trustworthy-ai uncertainty-quantification verifiers
Last synced: 23 Feb 2026
https://github.com/hinanohart/envfuzz
Pre-publish, fail-closed adversarial gate for RL-verifier Environments. A falsifier of reward-hackability, not a prover of safety.
ci fail-closed llm-evaluation reward-hacking reward-model rlvr verifiers
Last synced: 15 Jun 2026
