Out-of-distribution Detection in Dependent Data for Cyber-physical Systems with Conformal Guarantees.
ACM Trans. Cyber Phys. Syst., October, 2024
Memory-based Distribution Shift Detection for Learning Enabled Cyber-Physical Systems with Statistical Guarantees.
ACM Trans. Cyber Phys. Syst., April, 2024
Application of facial expression recognition technology based on feature fusion in teaching.
J. Intell. Fuzzy Syst., 2024
Benchmarking LLM Guardrails in Handling Multilingual Toxicity.
CoRR, 2024
Cross-Scene Classification of Hyperspectral Images via Generative Adversarial Network in Latent Space.
IEEE Trans. Geosci. Remote. Sens., 2023
Understanding Calibration for Multilingual Question Answering Models.
CoRR, 2023
Using Semantic Information for Defining and Detecting OOD Inputs.
CoRR, 2023
Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism.
Proceedings of the 24th Annual Conference of the International Speech Communication Association, 2023
Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
Bootstrapping Small & High Performance Language Models with Unmasking-Removal Training Policy.
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023
In and Out-of-Domain Text Adversarial Robustness via Label Smoothing.
Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 2023
Correction to: PCNN double step firing mode for image edge detection.
Multim. Tools Appl., 2022
PCNN double step firing mode for image edge detection.
Multim. Tools Appl., 2022
Memory Classifiers: Two-stage Classification for Robustness in Machine Learning.
CoRR, 2022
Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems.
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022
Ultrasonic Image Segmentation Algorithm of Thyroid Nodules Based on DPCNN.
Proceedings of 2021 International Conference on Medical Imaging and Computer-Aided Diagnosis, 2021
Real-time detectors for digital and physical adversarial inputs to perception systems.
Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021
Pono: A Flexible and Extensible SMT-Based Model Checker.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
A human-in-the-loop deep learning paradigm for synergic visual evaluation in children.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Neural Networks, 2020
Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper.
Proceedings of the International Conference on Computer-Aided Design, 2019
Enriched multi-point flux approximation for general grids.
J. Comput. Phys., 2008