Cover Image

SAIL: Sound Abstract Interpreters with LLMs

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	Gu, Qiuhan, Singh, Avaljot, Singh, Gagandeep
Format:	Recurso digital
Published:	Zenodo 2026
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Cost-Driven Synthesis of Sound Abstract Interpreters
by: Gu, Qiuhan, et al.
Published: (2025)

Automated Verification of Soundness of DNN Certifiers
by: Singh, Avaljot, et al.
Published: (2025)

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
by: Singh, Avaljot, et al.
Published: (2024)

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
by: Gomber, Shaurya, et al.
Published: (2025)

Efficient Ranking Function-Based Termination Analysis with Bi-Directional Feedback
by: Sarita, Yasmin, et al.
Published: (2024)

A Tensor-Based Compiler and a Runtime for Neuron-Level DNN Certifier Specifications
by: Singh, Avaljot, et al.
Published: (2025)

Lumos: Let there be Language Model System Certification
by: Chaudhary, Isha, et al.
Published: (2025)

RuleFlow : Generating Reusable Program Optimizations with LLMs
by: Singh, Avaljot, et al.
Published: (2026)

Certifying Knowledge Comprehension in LLMs
by: Chaudhary, Isha, et al.
Published: (2024)

Prospective Avenues of Tourism Development in the Economy of Punjab
by: Singh, Dr. Gagandeep
Published: (2025)

Unsupervised Domain Adaptation for Audio Deepfake Detection with Modular Statistical Transformations
by: Thani, Urawee, et al.
Published: (2026)

D-SECURE: Dual-Source Evidence Combination for Unified Reasoning in Misinformation Detection
by: Amarasinghe, Samudi, et al.
Published: (2026)

Compression Aware Certified Training
by: Xu, Changming, et al.
Published: (2025)

Relational DNN Verification With Cross Executional Bound Refinement
by: Banerjee, Debangshu, et al.
Published: (2024)

RAMP: Boosting Adversarial Robustness Against Multiple $l_p$ Perturbations for Universal Robustness
by: Jiang, Enyi, et al.
Published: (2024)

Matching Ranks Over Probability Yields Truly Deep Safety Alignment
by: Vega, Jason, et al.
Published: (2025)

Cross-Input Certified Training for Universal Perturbations
by: Xu, Changming, et al.
Published: (2024)

Bypassing the Safety Training of Open-Source LLMs with Priming Attacks
by: Vega, Jason, et al.
Published: (2023)

Revealing Interpretable Failure Modes of VLMs
by: Chaudhary, Isha, et al.
Published: (2026)

UTF-8 Plumbing: Byte-level Tokenizers Unavoidably Enable LLMs to Generate Ill-formed UTF-8
by: Firestone, Preston, et al.
Published: (2025)

DINGO: Constrained Inference for Diffusion LLMs
by: Suresh, Tarun, et al.
Published: (2025)

Interpreting the Effects of Quantization on LLMs
by: Singh, Manpreet, et al.
Published: (2025)

SAIL: Unsupervised Spatial-Angular Interpretable Feature Learning for RF Map Synthesis
by: Sarkar, Sopan, et al.
Published: (2026)

DGM4+: Dataset Extension for Global Scene Inconsistency
by: Singh, Gagandeep, et al.
Published: (2025)

Modular SAIL: dream or reality?
by: Kourzanov, Petr, et al.
Published: (2025)

LET JAPAN SAIL FORTH
Published: (1999)

SAIL Thomson Reuters Update
by: Culp, Kristin
Published: ()

Certifying Counterfactual Bias in LLMs
by: Chaudhary, Isha, et al.
Published: (2024)

SAIL: Structure-Aware Interpretable Learning for Anatomy-Aligned Post-hoc Explanations in OCT
by: Chang, Tienyu, et al.
Published: (2026)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
by: Wang, Chengxiao, et al.
Published: (2026)

Robust Thompson Sampling Algorithms Against Reward Poisoning Attacks
by: Xu, Yinglun, et al.
Published: (2024)

Data Shifts Hurt CoT: A Theoretical Study
by: Yin, Lang, et al.
Published: (2025)

Anatomy-DT: A Cross-Diffusion Digital Twin for Anatomical Evolution
by: Bhattacharya, Moinak, et al.
Published: (2025)

SoC-DT: Standard-of-Care Aligned Digital Twins for Patient-Specific Tumor Dynamics
by: Bhattacharya, Moinak, et al.
Published: (2025)

Quantitative Certification of Agentic Tool Selection
by: Yeon, Jehyeok, et al.
Published: (2025)

Probabilistic Trust Intervals for Out of Distribution Detection
by: Singh, Gagandeep, et al.
Published: (2021)

TRAP: Targeted Redirecting of Agentic Preferences
by: Kang, Hangoo, et al.
Published: (2025)

Pairing enhancement in a two-neutron transfer process through the continuum
by: Singh, Gagandeep, et al.
Published: (2022)

Universal Black-Box Reward Poisoning Attack against Offline Reinforcement Learning
by: Xu, Yinglun, et al.
Published: (2024)

Shared genetics in epilepsy and migraine: A scoping review
by: Prachi Sahu, et al.
Published: (2025)