Author

Guoming Li

Observed name: Li, Guoming

Institutions: Hong Kong Baptist University, University of Georgia

Observed institutions: Hong Kong Baptist University, University of Georgia

OpenAlex ID: A5143674433

How Stable Are LLM-Generated Proofs Under Program Refactoring? A Stress Test for Verifiable Code Generation

2026 · Mandiga, Aravind, Li, Guoming · arXiv (Cornell University)

Remedying Coarsening-Based GNN Training under Heterophily via Adaptive Complementary Enhancement

2026 · Li, Guoming, Yang, Jian, et al. · arXiv (Cornell University)

Works count: 2

Citation count:

H-index:

I10-index: