      FIG. 01  -  ICARUS AGENT
WING SPAN ≈ 2.4 m
    

      42.3601° N · 71.0589° W
ALT. 1,240 m
    

Agents are flying too close to the sun.

We believe that safety shouldn't be an afterthought. We build agentic AI with provable safety guardrails and use these guardrails to learn stronger and more capable agents.

        Built by leading researchers in ML/Formal Methods
      

SCROLL

§ RESEARCH

Proven record of relevant research.

PREPRINT

2026

Read paper →

SEVerA: Verified Synthesis of Self-Evolving Agents

D. Banerjee*, C. Xu*, G. Singh · Mar 2026

A framework for building AI agents with provable safety guarantees. SEVerA wraps each model call in a formally verified contract, then optimizes performance without ever breaking correctness. Zero violations across every benchmark, while outperforming unconstrained baselines.