works on
dataset benchmark 1illumination-adaptive detection 1nighttime traffic sign recognition 1semantic attribute reasoning 1vision-language fusion 1

From the 1 of 4 linked papers with an AI index.

collaborators
Showing cs.CLShow all

1 paper · 1 filter

cs.CL2025

A Tensor-Based Compiler and a Runtime for Neuron-Level DNN Certifier Specifications

Avaljot Singh, Yamin Chandini Sarita, Aditya Mishra +3

The uninterpretability of DNNs has led to the adoption of abstract interpretation-based certification as a practical means to establish trust in real-world systems that rely on DNN…