research
∙
05/25/2023
Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation
Large language models (large LMs) are susceptible to producing text with...
share
research
∙
09/01/2021
Shared Certificates for Neural Network Verification
Existing neural network verifiers compute a proof that each input is han...
research
∙
02/12/2021
Certified Defenses: Why Tighter Relaxations May Hurt Training?
Certified defenses based on convex relaxations are an established techni...
research
∙
05/27/2020
