AI.info

Guoming Li

Explore Guoming Li on AI.info.

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