Get started
Author

Lu Cheng

Observed name: Cheng, Lu
Observed institution: Pennsylvania State University
OpenAlex ID: A5159082914
Repairing LLM-Generated Specifications with Deterministic Diagnosis
2026 · Vaccarino, Giovanni, La Malfa, Emanuele, et al. · arXiv (Cornell University)
PDF
Works count: 1
Citation count:
H-index:
I10-index:
Year
Topic
Type