PAPER·July 25, 2026CausalForge: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal InferencearXiv
PAPER·May 28, 2026Verus-SpecGym: An Agentic Environment for Evaluating Specification AutoformalizationHugging Face Papers
PAPER·May 22, 2026Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy SearchHugging Face Papers
PAPER·May 21, 2026Ethical Hyper-Velocity (EHV): A Provably Deterministic, Governance-Aware JIT Compiler Architecture for Agentic SystemsHugging Face Papers
