ENTITY Severa

Severa

PulseAugur coverage of Severa — every cluster mentioning Severa across labs, papers, and developer communities, ranked by signal.

Total · 30d

5

5 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

1

1 over 90d

TIER MIX · 90D

significant 1
tool 3
meme 1

RECENT · PAGE 1/1 · 1 TOTAL

RESEARCH · CL_06893 · Apr 28 · 04:00

SEVerA framework verifies self-evolving AI agents for safety and correctness

Researchers have introduced SEVerA, a framework designed to synthesize self-evolving AI agents with formal safety and correctness guarantees. This approach treats agentic code generation as a constrained learning proble…