Enriched multi-point flux approximation for general grids. - Qian-Yong Chen; Jing Wan; Yahan Yang; Rick T. Mifflin (J. Comput. Phys., 2008)

Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper. - Florian Lonsing; Karthik Ganesan 001; Makai Mann; Srinivasa Shashank Nuthakki; Eshan Singh; Mario Srouji; Yahan Yang; Subhasish Mitra; Clark W. Barrett (ICCAD, 2019)

A human-in-the-loop deep learning paradigm for synergic visual evaluation in children. - Kai Zhang; Xiaoyan Li; Lin He; Chong Guo; Yahan Yang; Zhou Dong; Haoqing Yang; Yi Zhu; Chuan Chen; Xiaojing Zhou; Wangting Li; Zhenzhen Liu; et al. (Neural Networks, 2020)

Pono: A Flexible and Extensible SMT-Based Model Checker. - Makai Mann; Ahmed Irfan; Florian Lonsing; Yahan Yang; Hongce Zhang; Kristopher Brown; Aarti Gupta; Clark W. Barrett (CAV (2), 2021)

Real-time detectors for digital and physical adversarial inputs to perception systems. - Yiannis Kantaros; Taylor J. Carpenter; Kaustubh Sridhar; Yahan Yang; Insup Lee 001; James Weimer (ICCPS, 2021)

Ultrasonic Image Segmentation Algorithm of Thyroid Nodules Based on DPCNN. - Xiangyu Deng; Huan Zhang; Yahan Yang (MICAD, 2021)

Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems. - Yahan Yang; Ramneet Kaur; Souradeep Dutta; Insup Lee 001 (ICCPS, 2022)

Memory Classifiers: Two-stage Classification for Robustness in Machine Learning. - Souradeep Dutta; Yahan Yang; Elena Bernardis; Edgar Dobriban; Insup Lee 001 (CoRR, 2022)

PCNN double step firing mode for image edge detection. - Xiangyu Deng; Yahan Yang; Huan Zhang; Yide Ma (Multim. Tools Appl., 2022)

Correction to: PCNN double step firing mode for image edge detection. - Xiangyu Deng; Yahan Yang; Huan Zhang; Yide Ma (Multim. Tools Appl., 2022)

In and Out-of-Domain Text Adversarial Robustness via Label Smoothing. - Yahan Yang; Soham Dan; Dan Roth 001; Insup Lee 001 (ACL (2), 2023)

Bootstrapping Small & High Performance Language Models with Unmasking-Removal Training Policy. - Yahan Yang; Elior Sulem; Insup Lee 001; Dan Roth 001 (EMNLP, 2023)

CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems. - Ramneet Kaur; Kaustubh Sridhar; Sangdon Park 001; Yahan Yang; Susmit Jha; Anirban Roy; Oleg Sokolsky; Insup Lee 001 (ICCPS, 2023)

Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression. - Sydney Pugh; Souradeep Dutta; Ramneet Kaur; Yahan Yang; Elena Bernardis; Insup Lee 001 (ICCPS, 2023)

Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing. - Yahan Yang; Souradeep Dutta; Kuk Jin Jang; Oleg Sokolsky; Insup Lee 001 (ICCPS, 2023)

Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism. - Yahan Yang; Sunghye Cho; Maxine Covello; Azia Knox; Osbert Bastani; James Weimer; Edgar Dobriban; Robert T. Schultz; Insup Lee 001; Julia Parish-Morris (INTERSPEECH, 2023)

Using Semantic Information for Defining and Detecting OOD Inputs. - Ramneet Kaur; Xiayan Ji; Souradeep Dutta; Michele Caprio; Yahan Yang; Elena Bernardis; Oleg Sokolsky; Insup Lee 001 (CoRR, 2023)

Understanding Calibration for Multilingual Question Answering Models. - Yahan Yang; Soham Dan; Dan Roth 001; Insup Lee 001 (CoRR, 2023)

Cross-Scene Classification of Hyperspectral Images via Generative Adversarial Network in Latent Space. - Yahan Yang; Yang Xu 006; Zebin Wu 001; Biqi Wang; Zhihui Wei (IEEE Trans. Geosci. Remote. Sens., 2023)

Benchmarking LLM Guardrails in Handling Multilingual Toxicity. - Yahan Yang; Soham Dan; Dan Roth 001; Insup Lee 001 (CoRR, 2024)

Memory-based Distribution Shift Detection for Learning Enabled Cyber-Physical Systems with Statistical Guarantees. - Yahan Yang; Ramneet Kaur; Souradeep Dutta; Insup Lee 001 (ACM Trans. Cyber Phys. Syst., 2024)

Out-of-distribution Detection in Dependent Data for Cyber-physical Systems with Conformal Guarantees. - Ramneet Kaur; Yahan Yang; Oleg Sokolsky; Insup Lee 001 (ACM Trans. Cyber Phys. Syst., 2024)

Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios. - Vivian Lin; Ramneet Kaur; Yahan Yang; Souradeep Dutta; Yiannis Kantaros; Anirban Roy; Susmit Jha; Oleg Sokolsky; Insup Lee 001 (ICCPS, 2025)

A large language model digital patient system enhances ophthalmology history taking skills. - Ming-Jie Luo; Shaowei Bi; Jianyu Pang; Lixue Liu; Ching-Kit Tsui; Yunxi Lai; Wenben Chen; Yahan Yang; Kezheng Xu; Lanqin Zhao; Ling Jin; Duoru Lin; et al. (npj Digit. Medicine, 2025)

MR. Guard: Multilingual Reasoning Guardrail using Curriculum Learning. - Yahan Yang; Soham Dan; Shuo Li; Dan Roth 001; Insup Lee 001 (CoRR, 2025)