cd/entity/oss-fuzz· home› entities› oss-fuzz
grep -l @oss-fuzz /news/*.json | wc -l → 1

@oss-fuzz

mentions 1 type Organization feed RSS
18:22
2025-08-08
xint.io
artificial-intelligence

AI Cyber Challenge and Theori's RoboDuck

Theori's open-sourced Cyber Reasoning System (CRS) called RoboDuck, developed for DARPA's AI Cyber Challenge (AIxCC). The system uniquely uses an "LLM-first" approach to find bugs and generate Proofs …

// co-occurs with top 7 entities
Theori 1 RoboDuck 1 DARPA 1 AI Cyber Challenge 1 AIxCC 1 Cyber Reasoning System 1 CRS 1