4 papers
BVI: Lightweight, Data-Centric Blockchain-Based Verification of Identity Claims
Harshith Pothapala, Gagandeep Singh, Samudi Amarasinghe +2
A person who answers an unexpected call claiming to come from a bank has no way to check the claim. Australian text messaging has labelled a message as unverified when the sender i…
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…
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…
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…