Gagandeep Singh

Scaling Polyhedral Neural Network Verification on GPUs

2020 · arXiv (Cornell University)

Certifying the robustness of neural networks against adversarial attacks is essential to their reliable adoption in safety-critical systems such as autonomous driving and medical diagnosis. Unfortunately, state-of-the-art verifiers either do not scale to bigger networks …

BLEND: a fast, memory-efficient and accurate mechanism to find fuzzy seed matches in genome analysis

2023 · Zenodo (CERN European Organization for Nuclear Research)

Generating the hash values of short subsequences, called seeds, enables quickly identifying similarities between genomic sequences by matching seeds with a single lookup of their hash values. However, these hash values can be used only …

Orbitally Resolved Single-Photon Emission from an Individual Atomic Vacancy Center in a Semiconductor

2026 · ACS Nano

Atomically confined spins are emerging as active components in quantum optoelectronic devices such as quantum bits and sensors. However, interrogating single spins at atomic length scales remains a sizable challenge, limited by diffraction in conventional …