Sheltercosmo / Rilldex-RL-Studio

RL observability for LLM agents: behavior maps, native trainer metrics, rollout investigations, and Python/SQL analysis.

sahibzada-allahyar / Formal-Verification-RSI

Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.