Xiaoxing Ma
Scholar

Xiaoxing Ma

Google Scholar ID: 44WpWR4AAAAJ
Professor of Computer Science and Technology, Nanjing University
software engineeringself-adaptive systemsreliability of machine learning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,089
 
H-index
20
 
i10-index
55
 
Publications
20
 
Co-authors
19
list available
Contact
No contact links provided.
Publications
18 items
Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models
2026
Cited
0
Task Abstention for Large Language Models in Code Generation
2026
Cited
0
Full Attention Strikes Back: Transferring Full Attention into Sparse within Hundred Training Steps
2026
Cited
0
Fair Conformal Classification via Learning Representation-Based Groups
2026
Cited
0
Uncertainty Quantification for LLM-based Code Generation
2026
Cited
0
Stepwise: Neuro-Symbolic Proof Search for Automated Systems Verification
2026
Cited
0
Learning to Disprove: Formal Counterexample Generation with Large Language Models
2026
Cited
0
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
2026
Cited
0
Resume (English only)
Co-authors
19 total
Chang Xu
Chang Xu
Professor of Computer Science and Technology, Nanjing University
Chun Cao
Chun Cao
Nanjing University
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Xianping Tao
Xianping Tao
Professor of Computer Science, Nanjing University
Zenan Li
Zenan Li
ETH Zurich
Wei Song
Wei Song
Nanjing University of Science and Technology
Yuan Yao
Yuan Yao
Associate Professor, Nanjing University