Publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

Review

    2026

    1. arXiv '26EMPIRIC: Experiment-Driven Learning of Residual World Models for Robot Planning. Yichao Liang, Amber Li, Dat Nguyen, Emily Bunnapradist, Michelangelo Naim, Sreela Kodali, Matteo Merler, Bowen Li, Kiran Gopinathan, Yiyun Liu, Nikhil Pimpalkhare, Joshua B. Tenenbaum, Adrian Weller, Zenna Tavares, Tom Silver, Kevin Ellis.
    2. SEFM '26The Scaffolding Paradox: Evidence from AI-Assisted Dafny Proof Synthesis. Anastasiya Kravchuk-Kirilyuk, Dat Nguyen, Rhea Karty, Simon Henniger, Gabriel Poesia, Nada Amin.
    3. ICML '26Benchmarking World-Model Learning with Environment-Level Queries. Archana Warrier, Dat Nguyen, Michelangelo Naim, Moksh Jain, Yichao Liang, Karen Schroeder, Cambridge Yang, Joshua B. Tenenbaum, Sebastian Vollmer, Kevin Ellis, Zenna Tavares.
    4. ICLR '26ExoPredicator: Learning Abstract Models of Dynamic Worlds for Robot Planning. Yichao Liang, Dat Nguyen, Cambridge Yang, Tianyang Li, Joshua B. Tenenbaum, Carl Edward Rasmussen, Adrian Weller, Zenna Tavares, Tom Silver, Kevin Ellis.

    2025

    1. arXiv '25A Systematic Survey on Debugging Techniques for Machine Learning Systems. Dat Nguyen, Haoye Tian, Bach Le, Patanamon Thongtanunam, Shane McIntosh.

    2024

    1. arXiv '24Inferring Properties of Graph Neural Networks. Dat Nguyen, Hieu M. Vu, Cong-Thanh Le, Bach Le, David Lo, ThanhVu Nguyen, Corina Pasareanu.
    2. ISSTA '24VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction. Dat Nguyen, Tung Do-Viet, Hung Nguyen-Duy, Tuan-Hai Luu, Hung Le, Bach Le, Patanamon Thongtanunam.
    3. arXiv '24Combining Induction and Transduction for Abstract Reasoning. Wen-Ding Li, Keya Hu, Carter Larsen, Yuqing Wu, Simon Alford, Caleb Woo, Spencer M. Dunn, Hao Tang, Michelangelo Naim, Dat Nguyen, Wei-Long Zheng, Zenna Tavares, Yewen Pu, Kevin Ellis.

    2023

    1. arXiv '23Adversarial Attacks on Code Models with Discriminative Graph Patterns. Dat Nguyen, Yang Zhou, Xuan Bach D. Le, Patanamon Thongtanunam, David Lo.

    2022

    1. ICSME '22FFL: Fine grained Fault Localization for Student Programs via Syntactic and Semantic Reasoning. Dat Nguyen, Thanh Le-Cong, Duc-Minh Luong, Van-Hai Duong, Xuan Bach Le Dinh, David Lo, Thang Huynh-Quyet.
    2. ICSE '22Toward the Analysis of Graph Neural Networks. Dat Nguyen, Thanh Le-Cong*, ThanhVu H. Nguyen, Xuan-Bach D. Le, Quyet-Thang Huynh.

    2021

      2020

      1. ICPR '20End-to-End Hierarchical Relation Extraction for Generic Form Understanding. Tuan-Anh Nguyen Dang, Duc Thanh Hoang, Quang Bach Tran, Chih-wei Pan, Dat Nguyen.
      2. MAPR '20PCA-based 3D Facial Reenactment From Single Image. Dat Nguyen, Tuan-Anh Nguyen Dang, Viet Sang Dinh.

      2019

      1. BMVC '19End-to-End Information Extraction by Character-Level Embedding and Multi-Stage Attentional UNet. Tuan Anh Nguyen Dang, Dat Nguyen.
      2. CLEF '19Non-local DenseNet for plant CLEF 2019 contest. Dat Nguyen, George Quénot, Lorraine Goeuriot.