Jianan Ma
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2024–2025
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CCS | Provable Repair of Deep Neural Network Defects by Preimage Synthesis and Property Refinement. | Jianan Ma, Jingyi Wang, Qi Xuan, Zhen Wang |
| 2025 | ICSE | Patch Synthesis for Property Repair of Deep Neural Networks. | Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Jingyi Wang, Xiaowei Huang, Lijun Zhang |
| 2024 | ICSE | VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks. | Jianan Ma, Pengfei Yang, Jingyi Wang, Youcheng Sun, Cheng-Chao Huang, Zhen Wang |