Papers

172,654 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-Look Spatial Reasoning for Dense Surgical Instrument Counting
Rishikesh Bhyri, Brian R Quaranto, Junsong Yuan et al.
2026 WACV
Chain-of-Thought Driven Adversarial Scenario Extrapolation for Robust Language Models
Md Rafi Ur Rashid, Vishnu Asutosh Dasu, Ye Wang et al.
2026 AAAI
2026 WACV
Chandomitra: Towards Generating Structured Sanskrit Poetry from Natural Language Inputs
Manoj Balaji Jagadeeshan, Samarth Bhatia, Pretam Ray et al.
2026 EACL
Characterizing AI Manipulation Risks in Brazilian YouTube Climate Discourse
Wenchao Dong, Marcelo Sartori Locatelli, Virgilio Almeida et al.
2026 AAAI