2 papers
cs.AI2026
BEHAVE: Functional Behavior Modeling Enables Self-Improving Agents for Hardware Design and Verification
Yuheng Wu, Berk Gokmen, Sujeeth Jinesh +5
Developing agents for hardware design and verification requires reliable correctness feedback. As a hardware specification may permit correct implementations with different latenci…
cs.CR2025
BountyBench: Dollar Impact of AI Agent Attackers and Defenders on Real-World Cybersecurity Systems
Andy K. Zhang, Joey Ji, Celeste Menders +31
AI agents have the potential to significantly alter the cybersecurity landscape. Here, we introduce the first framework to capture offensive and defensive cyber-capabilities in evo…