Scholar

Xiyu Zhai

Google Scholar ID: Q21P3fsAAAAJ

Unknown affiliation

Google Scholar↗

Citations & Impact

All-time

Citations

3,081

H-index

8

i10-index

8

Publications

11

Co-authors

0

Contact

No contact links provided.

Publications

3 items

Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics

2026

Cited

0

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications

2026

Cited

0

Transformers are Efficient Compilers, Provably

arXiv.org · 2024

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)