Xinyi Zheng

Identifiers

• name variant Xinyi Zheng 0.60 · backfill

Papers (1)

1. QMFOL: Benchmarking Large Language Model Reasoning via Quantifiable Monadic First-Order Logic Test Case Generation cs.AI · 2026 · author #1

Mentions

• 2606.20227 #1 · arxiv_oai · confidence 0.70 Xinyi Zheng

Frequent Coauthors

• Kailong Wang 1 shared papers
• Ling Shi 1 shared papers
• Lorenz Goette 1 shared papers
• Tianlong Yu 1 shared papers
• Yongxin Zhao 1 shared papers