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
13 items
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
Qihe: A General-Purpose Static Analysis Framework for Verilog
2026
Cited
0
Conformal Correction for Efficiency May be at Odds with Entropy
2025
Cited
0
Adamas: Hadamard Sparse Attention for Efficient Long-Context Inference
2025
Cited
0
A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning
2025
Cited
0
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
2025
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