Scholar

Yicheng Tao

Google Scholar ID: JAjTy4EAAAAJ

Carnegie Mellon Univeristy

Natural Language ProcessingSmart Cities

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

36

H-index

2

i10-index

1

Publications

4

Co-authors

1

list available

Contact

No contact links provided.

Publications

5 items

TheoremForge: Scaling up Formal Data Synthesis with Low-Budget Agentic Workflow

2026

Cited

0

Retrieval-Augmented Code Generation: A Survey with Focus on Repository-Level Approaches

2025

Cited

0

AutoPCR: Automated Phenotype Concept Recognition by Prompting

2025

Cited

0

Enhancing Large Language Models for Mobility Analytics with Semantic Location Tokenization

2025

Cited

0

Assisting Mathematical Formalization with A Learning-based Premise Retriever

2025

Cited

0

Resume (English only)

Co-authors

1 total

Peking University