2 citations · 3 across the 6 of their papers we have counts for
Showing cs.LGShow all
3 papers · 1 filter
cs.LG2023★ 2 cited
Transfer Attacks and Defenses for Large Language Models on Coding Tasks
Chi Zhang, Zifan Wang, Ravi Mangal +3
Modern large language models (LLMs), such as ChatGPT, have demonstrated impressive capabilities for coding tasks including writing and reasoning about code. They improve upon previ…
cs.LG2023
Is Certifying Robustness Still Worthwhile?
Ravi Mangal, Klas Leino, Zifan Wang +5
Over the years, researchers have developed myriad attacks that exploit the ubiquity of adversarial examples, as well as defenses that aim to guard against the security vulnerabilit…
cs.LG2023★ 1 cited
A Recipe for Improved Certifiable Robustness
Kai Hu, Klas Leino, Zifan Wang +1
Recent studies have highlighted the potential of Lipschitz-based methods for training certifiably robust neural networks against adversarial attacks. A key challenge, supported bot…