Pinned Loading

1. ragdrift ragdrift Public

   Silent regression detector for RAG pipelines

   Python 4

2. dafny-eval dafny-eval Public

   Soundness-hardened benchmark for LLM Dafny invariant synthesis — semantic-integrity gating, capability ladder, prompt ablation, and an agentic verifier-feedback repair loop.

   Python

3. evalaware evalaware Public

   An audit of linear eval-awareness probes on real transcripts: held-out-source generalisation and reliability at a realistic base rate (Qwen3-4B/8B, jjpn2/eval_awareness)

   Python

4. scorer-integrity scorer-integrity Public

   Can the scheming detector be trusted? Calibrating LLM judges against mechanical ground truth in Inspect evals.

   Python