news
| Jan 2025 | Logicbreaks has been accepted to ICLR 2025! Check out the paper and blogpost! |
|---|---|
| Dec 2024 | Understanding the Effectiveness of LLMs in Detecting Security Vulnerabilities has been accepted to ICST 2025! |
| Nov 2024 | We will be presenting Logicbreaks at three NeurIPS 2024 workshops: AdvML-Frontiers, SciForDL and SATA! |
| Dec 2023 | We will be presenting GrACE at FSE 2023! |