Yifan Zhang -

Registered user since Fri 9 Sep 2022

Name:Yifan Zhang

Country:China

Affiliation:National University of Singapore

GitHub: https://github.com/Yvonnefanf

Contributions

2025

ASE

Author of PAT-Agent: Autoformalization for Model Checking within the Research Papers-track

2023

ESEC/FSE

Author of DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers within the Research Papers-track

2022

ESEC/FSE

Author of RegMiner: Mining Replicable Regression Dataset from Code Repositories within the Demonstrations-track