4 papers
CircuitGate: Logic-Consistent Circuit-Level Functional Modeling for And-Inverter Graphs
Qifan Zhang, Ruijie Li, Fangzhou Zhang +6
And-Inverter Graphs (AIGs) are fundamental representations for logic synthesis and verification in Electronic Design Automation (EDA). As structured representations of complex digi…
High-dimensional Many-to-many-to-many Mediation Analysis
Tien Dat Nguyen, Trung Khang Tran, Cong Khanh Truong +3
We study high-dimensional mediation analysis in which exposures, mediators, and outcomes are all multivariate, and both exposures and mediators may be high-dimensional. We formaliz…
REMEMBER: Retrieval-based Explainable Multimodal Evidence-guided Modeling for Brain Evaluation and Reasoning in Zero- and Few-shot Neurodegenerative Diagnosis
Duy-Cat Can, Quang-Huy Tang, Huong Ha +2
Timely and accurate diagnosis of neurodegenerative disorders, such as Alzheimer's disease, is central to disease management. Existing deep learning models require large-scale annot…
VisTA: Vision-Text Alignment Model with Contrastive Learning using Multimodal Data for Evidence-Driven, Reliable, and Explainable Alzheimer's Disease Diagnosis
Duy-Cat Can, Linh D. Dang, Quang-Huy Tang +5
Objective: Assessing Alzheimer's disease (AD) using high-dimensional radiology images is clinically important but challenging. Although Artificial Intelligence (AI) has advanced AD…