activity
20242026
most citedSecureVibeBench: Benchmarking Secure Vibe Coding of AI Agents via Reconstructing Vulnerability-Introducing Scenarios

2 citations · 2 across the 6 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2026

SOP=SOP

Artem Chernikov

The classes of SOP and SOP first-order theories coincide. This answers a question of Džamonja and Shelah from 2004.