Jianan Ma

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2025
Patch Synthesis for Property Repair of Deep Neural Networks.
Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

Provable Repair of Deep Neural Network Defects by Preimage Synthesis and Property Refinement.
Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2024
ADVREPAIR: Provable Repair of Adversarial Attack.
CoRR, 2024

VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

AI-Yo: Embedding Psychosocial Aspects In the Fashion Stylist Chatbot Design.
Proceedings of the 16th Conference on Creativity & Cognition, 2024

2011
The investigation on the selection of measuring distance of acoustical holography.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011


  Loading...