Publications

2026

1. arXiv

   

   Symbolic Temporal Supervision of LLM Agents Using Contracts

   Yifeng Xiao and Pierluigi Nuzzo

   arXiv preprint arXiv:2609.18128, Sep 2026

   arXiv Bib

   @article{xiao2026symbolic,
     title = {Symbolic Temporal Supervision of {LLM} Agents Using Contracts},
     author = {Xiao, Yifeng and Nuzzo, Pierluigi},
     journal = {arXiv preprint arXiv:2609.18128},
     year = {2026},
     month = sep,
   }

2. EMNLP Workshop

   

   ACIES: A Self-Evolving Agentic Contract-Based Framework for Cyber-Physical System Control Synthesis

   Yifeng Xiao, Zhiyu Ni, Dinghong Song, and 2 more authors

   In EMNLP 2026 Workshop on Research on Agent Language Models (REALM), 2026

   Bib

   @inproceedings{xiao2026acies,
     title = {{ACIES}: A Self-Evolving Agentic Contract-Based Framework for Cyber-Physical System Control Synthesis},
     author = {Xiao, Yifeng and Ni, Zhiyu and Song, Dinghong and Zhou, Mi and Nuzzo, Pierluigi},
     booktitle = {EMNLP 2026 Workshop on Research on Agent Language Models (REALM)},
     year = {2026},
   }

3. MEMOCODE

   

   Contract-Based Consistency and Availability Analysis for Distributed Cyber-Physical Systems

   Yifeng Xiao, Charles D. Lutz, Mauricio Castillo-Effen, and 1 more author

   In International Symposium on Formal Methods and Models for System Design (MEMOCODE), 2026

   Bib

   @inproceedings{xiao2026consistency,
     title = {Contract-Based Consistency and Availability Analysis for Distributed Cyber-Physical Systems},
     author = {Xiao, Yifeng and Lutz, Charles D. and Castillo-Effen, Mauricio and Nuzzo, Pierluigi},
     booktitle = {International Symposium on Formal Methods and Models for System Design (MEMOCODE)},
     year = {2026},
   }

4. CDC

   

   Stable and Resilient Resource Allocation for Decentralized Cyber-Physical Infrastructure Systems with Replicator Dynamics

   Yifeng Xiao, Jair Certorio, Nuno C. Martins, and 2 more authors

   In IEEE Conference on Decision and Control (CDC), 2026

   Bib

   @inproceedings{xiao2026stable,
     title = {Stable and Resilient Resource Allocation for Decentralized Cyber-Physical Infrastructure Systems with Replicator Dynamics},
     author = {Xiao, Yifeng and Certorio, Jair and Martins, Nuno C. and Shoukry, Yasser and Nuzzo, Pierluigi},
     booktitle = {IEEE Conference on Decision and Control (CDC)},
     year = {2026},
     organization = {IEEE},
   }

5. ICLR Workshop

   

   Agentified Benchmarking for Logical Reasoning Agents

   Zhiyu Ni, Yifeng Xiao, Zheng Liang, and 1 more author

   In ICLR 2026 Workshop on AI in the Wild (AIWILD), 2026

   Bib HTML

   @inproceedings{ni2026agentified,
     title = {Agentified Benchmarking for Logical Reasoning Agents},
     author = {Ni, Zhiyu and Xiao, Yifeng and Liang, Zheng and Nuzzo, Pierluigi},
     booktitle = {ICLR 2026 Workshop on AI in the Wild (AIWILD)},
     year = {2026},
   }

6. DATE

   

   Contract-Based Architecture Exploration of Cyber-Physical Systems via Satisfiability Modulo Convex Programming

   Yifeng Xiao and Pierluigi Nuzzo

   In IEEE Design, Automation & Test in Europe Conference & Exhibition (DATE), 2026

   Bib

   @inproceedings{xiao2026contract,
     title = {Contract-Based Architecture Exploration of Cyber-Physical Systems via Satisfiability Modulo Convex Programming},
     author = {Xiao, Yifeng and Nuzzo, Pierluigi},
     booktitle = {IEEE Design, Automation \& Test in Europe Conference \& Exhibition (DATE)},
     year = {2026},
     organization = {IEEE},
   }

2025

1. CDC

   

   Incentive Design for Safe Nash Equilibrium Learning in Large Populations via Control Barrier Functions

   Yifeng Xiao, Jair Certorio, Nuno C. Martins, and 2 more authors

   In IEEE Conference on Decision and Control (CDC), 2025

   Bib HTML Slides

   @inproceedings{xiao2025incentive,
     title = {Incentive Design for Safe Nash Equilibrium Learning in Large Populations via Control Barrier Functions},
     author = {Xiao, Yifeng and Certorio, Jair and Martins, Nuno C. and Shoukry, Yasser and Nuzzo, Pierluigi},
     booktitle = {IEEE Conference on Decision and Control (CDC)},
     year = {2025},
     organization = {IEEE},
   }

2. arXiv

   

   CORE: Constraint-Aware One-Step Reinforcement Learning for Simulation-Guided Neural Network Accelerator Design

   Yifeng Xiao, Yurong Xu, Ning Yan, and 2 more authors

   arXiv preprint arXiv:2506.03474, 2025

   arXiv Bib

   @article{xiao2025core,
     title = {CORE: Constraint-Aware One-Step Reinforcement Learning for Simulation-Guided Neural Network Accelerator Design},
     author = {Xiao, Yifeng and Xu, Yurong and Yan, Ning and Mortazavi, Masood and Nuzzo, Pierluigi},
     journal = {arXiv preprint arXiv:2506.03474},
     year = {2025},
   }

3. IJCAI

   

   Efficient Counterexample-Guided Fairness Verification and Repair of Neural Networks Using Satisfiability Modulo Convex Programming

   Arya Fayyazi, Yifeng Xiao, Massoud Pedram, and 1 more author

   In International Joint Conference on Artificial Intelligence (IJCAI), 2025

   Bib HTML Slides

   @inproceedings{fayyazi2025efficient,
     title = {Efficient Counterexample-Guided Fairness Verification and Repair of Neural Networks Using Satisfiability Modulo Convex Programming},
     author = {Fayyazi, Arya and Xiao, Yifeng and Pedram, Massoud and Nuzzo, Pierluigi},
     booktitle = {International Joint Conference on Artificial Intelligence (IJCAI)},
     year = {2025},
   }

2024

1. DATE

   

   Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism

   Yifeng Xiao, Chanwook Oh, Michele Lora, and 1 more author

   In IEEE Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024

   Awarded Bib HTML Slides

   Best Paper Award

   @inproceedings{xiao2024efficient,
     title = {Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism},
     author = {Xiao, Yifeng and Oh, Chanwook and Lora, Michele and Nuzzo, Pierluigi},
     booktitle = {IEEE Design, Automation \& Test in Europe Conference \& Exhibition (DATE)},
     year = {2024},
     organization = {IEEE},
   }

2. JSC

   

   Subgraph Matching-Based Reference Placement for Printed Circuit Board Designs

   Ziran Zhu, Yilin Li, Miaodi Su, and 6 more authors

   The Journal of Supercomputing, 2024

   Bib HTML

   @article{zhu2024subgraph,
     title = {Subgraph Matching-Based Reference Placement for Printed Circuit Board Designs},
     author = {Zhu, Ziran and Li, Yilin and Su, Miaodi and Zhang, Shu and Su, Haiyuan and Xiao, Yifeng and He, Huan and Chen, Jianli and Chang, Yao-Wen},
     journal = {The Journal of Supercomputing},
     year = {2024},
     publisher = {Springer},
   }

2022

1. DAC

   

   Late Breaking Results: Subgraph Matching Based Reference Placement for PCB Designs

   Miaodi Su, Yifeng Xiao, Shu Zhang, and 6 more authors

   In IEEE Design Automation Conference (DAC), 2022

   Bib HTML

   @inproceedings{su2022late,
     title = {Late Breaking Results: Subgraph Matching Based Reference Placement for PCB Designs},
     author = {Su, Miaodi and Xiao, Yifeng and Zhang, Shu and Su, Haiyuan and Xu, Jiacen and He, Huan and Zhu, Ziran and Chen, Jianli and Chang, Yao-Wen},
     booktitle = {IEEE Design Automation Conference (DAC)},
     year = {2022},
     organization = {IEEE},
   }

2021

1. DAC

   

   Low-Cost Lithography Hotspot Detection with Active Entropy Sampling and Model Calibration

   Yifeng Xiao, Miaodi Su, Haoyu Yang, and 3 more authors

   In IEEE Design Automation Conference (DAC), 2021

   Bib HTML

   @inproceedings{xiao2021low,
     title = {Low-Cost Lithography Hotspot Detection with Active Entropy Sampling and Model Calibration},
     author = {Xiao, Yifeng and Su, Miaodi and Yang, Haoyu and Chen, Jianli and Yu, Jun and Yu, Bei},
     booktitle = {IEEE Design Automation Conference (DAC)},
     year = {2021},
     organization = {IEEE},
   }

2. ASICON

   

   CongestNN: An Bi-Directional Congestion Prediction Framework for Large-Scale Heterogeneous FPGAs

   Chenyue Ma, Yifeng Xiao, Sifei Wang, and 2 more authors

   In IEEE International Conference on ASIC (ASICON), 2021

   Bib HTML

   @inproceedings{ma2021congestnn,
     title = {CongestNN: An Bi-Directional Congestion Prediction Framework for Large-Scale Heterogeneous FPGAs},
     author = {Ma, Chenyue and Xiao, Yifeng and Wang, Sifei and Yu, Jun and Chen, Jianli},
     booktitle = {IEEE International Conference on ASIC (ASICON)},
     year = {2021},
     organization = {IEEE},
   }