Get started
Author

Ziyang Li

Observed name: Li, Ziyang
Observed institution: Johns Hopkins University
OpenAlex ID: A5158709216
Aligning Faithfulness for Theory-Scale Autoformalization
2026 · Feng, Yuming, Mao, Tadd, et al. · arXiv (Cornell University) · 1
PDF
Discovery or Memorization? A Faithful Benchmark for Real-World Business-Logic Vulnerability Discovery
2026 · Yang, Rui, Xu, Yichao, et al. · arXiv (Cornell University)
PDF
Works count: 2
Citation count: 1
H-index: 1
I10-index:
Year
Topic
Type