3 papers
cs.CV2026
D-SECURE: Dual-Source Evidence Combination for Unified Reasoning in Misinformation Detection
Samudi Amarasinghe, Gagandeep Singh, Priyanka Singh
Multimodal misinformation increasingly mixes realistic im-age edits with fluent but misleading text, producing persuasive posts that are difficult to verify. Existing systems usual…
cs.LG2026
Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
Chengxiao Wang, Haoze Wu, Gagandeep Singh
Neural Lyapunov and barrier certificates have recently been used as powerful tools for verifying the safety and stability properties of deep reinforcement learning (RL) controllers…
cs.CR2025
Matching Ranks Over Probability Yields Truly Deep Safety Alignment
Jason Vega, Gagandeep Singh
Open-source Large Language Models (LLMs) play a critical role in the democratization of AI, yet their "open" nature introduces more avenues for malicious actors to misuse them for…