Liu, Chengjia;Parlapalli, Jnana Preeti;Houngninou, David Kebo;Quinn, Michael;Tyagi, Aakash;Hu, Jiang
Improving Last-Mile Coverage in Functional Verification
2025 ACM/IEEE 7th Symposium on Machine Learning for CAD (MLCAD)
2025

Luu, Minh;Jasper, Surya;Le, Khoi;Pan, Evan;Quinn, Michael;Tyagi, Aakash;Hu, Jiang
VCDiag: Classifying Erroneous Waveforms for Failure Triage Acceleration
2025 ACM/IEEE 7th Symposium on Machine Learning for CAD (MLCAD)
2025

Jasper, Surya;Luu, Minh;Pan, Evan;Tyagi, Aakash;Quinn, Michael;Hu, Jiang;Houngninou, David
BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis
2025 ACM/IEEE 7th Symposium on Machine Learning for CAD (MLCAD)
2025

Gong, Yu;Huang, Lingyi;Chang, Haodong;Liang, Rongjian;Yang, Cheng;Tang, Zhexiang;Hu, Jiang;Yuan, Bo
Crane: Inter-Layer Scheduling Framework for DNN Inference and Training Co-Support on Tiled Architecture
1250-1263
Proceedings of the 58th IEEE/ACM International Symposium on Microarchitecture
ACM
2025

Dalla Chiara, Maria Luisa;Giuntini, Roberto;Sergioli, Giuseppe
Reasoning with Data in the Framework of a Quantum Approach to Machine Learning
181--203
Perspectives on Logics for Data-driven Reasoning
Springer
2024

Mainzer, Klaus
Artificial intelligence of neuromorphic systems: from digital, analogue, quantum, and brain-oriented computing to hybrid AI
World Scientific
2025

Yang, Xinlong;Wan, Zongshuai;Bleker, Lazlo;D’Acunto, Pierluigi;Tam, Kam-Ming Mark
Integrating Force Density Method and Finite Element Modelling for Stiffness-Informed Differentiable Form-Finding
Proceedings of IASS Annual Symposium
2025

Sun, Tao;Bleker, Lazlo;CEM GÜNES, Mustafa;D’ACUNTO, Pierluigi
Automated Visualization for Structural Form-Finding using Orchestrated Multimodal Machine Learning Agents
Proceedings of IASS Annual Symposia
2025

Bleker, Lazlo;Tam, Kam-Ming Mark;D’Acunto, Pierluigi
Graph Neural Network Message Passing-Based Structural Form-Finding Using Combinatorial Equilibrium Modelling
JG Oliva, JI del Cueto, ED
2025
30

Corvi, Riccardo;Cozzolino, Davide;Prashnani, Ekta;De Mello, Shalini;Nagano, Koki;Verdoliva, Luisa
Seeing What Matters: Generalizable AI-generated Video Detection with Forensic-Oriented Augmentation
2025