🧑‍🔬 Who cites Xiaoyang Liu

15 citations of their works from 15 papers of our library (of the 149,439 whose bibliographies we read) · 1 with a page here, the most cited first · ← Xiaoyang Liu

1. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in LeanAnnual Meeting of the Association for Computational Linguistics (ACL)Jordan Meadows, Lan Zhang, Andre Freitas2026

14 more citing papers of our library have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/authors/xiaoyang-liu/cited-by/