news
| Jan 22, 2025 | Our paper on information flow in vision transformers accepted at AISTATS 2025 |
|---|---|
| Dec 15, 2024 | Our papers on jailbreaking LLMs and agent-based secure code generation presented in workshops @ NeurIPS 2024 |
| Sep 01, 2024 | Our paper on verification of path based computed presented at ICCAD 2024 |
| Feb 11, 2024 | Three (3) papers have been accepted at the ACM Design Automation Conference (DAC) 2024 |
| Feb 11, 2024 | DAIR.AI listed our work on jailbreaking LLMs as one of the top 10 ML Papers of the Week |