Papers

20,003 papers found
Certified Branch-and-Bound MaxSAT Solving
Dieter Vandesande, Jordi Coll, Bart Bogaerts
2026 AAAI
Certified but Fooled! Breaking Certified Defenses with Ghost Certificates
Quoc Viet Vo, Tashreque Mohammed Haq, Paul Montague et al.
2026 AAAI
Chain-of-Thought Driven Adversarial Scenario Extrapolation for Robust Language Models
Md Rafi Ur Rashid, Vishnu Asutosh Dasu, Ye Wang et al.
2026 AAAI
Characterizing AI Manipulation Risks in Brazilian YouTube Climate Discourse
Wenchao Dong, Marcelo Sartori Locatelli, Virgilio Almeida et al.
2026 AAAI
2026 AAAI
2026 AAAI
2026 AAAI