Scholar

Junyu Lai

Google Scholar ID: EcRmcKUAAAAJ

State Key Lab of Novel Software Technology, Nanjing University, China

Google Scholar↗

Citations & Impact

All-time

Citations

131

H-index

3

i10-index

2

Publications

3

Co-authors

0

Contact

No contact links provided.

Publications

2 items

Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving

2026

Cited

0

LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)