Scholar

Lai Jiang

Google Scholar ID: I8G_ARgAAAAJ

University of Illinois Urbana-Champaign

Machine LearningNatural Language Processing

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

80

H-index

4

i10-index

2

Publications

5

Co-authors

0

Contact

No contact links provided.

Publications

1 items

Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover

2026

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)