2 papers
cs.LG2026
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…
cs.CV2025
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…