3 papers
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…
cs.LG2025
RiM: Record, Improve and Maintain Physical Well-being using Federated Learning
Aditya Mishra, Haroon Lone
In academic settings, the demanding environment often forces students to prioritize academic performance over their physical well-being. Moreover, privacy concerns and the inherent…
cs.DL2025
Patent Novelty Assessment Accelerating Innovation and Patent Prosecution
Kapil Kashyap, Sean Fargose, Gandhar Dhonde +1
In the rapidly evolving landscape of technological innovation, safeguarding intellectual property rights through patents is crucial for fostering progress and stimulating research…