Xiaoyang Liu
Xiaoyang Liu has 3 papers in our library, in 2025–2026, most of them on Language models & pretraining, Reasoning, Vision & language; often with Dawei Wang, Gary Ushaw, Richard Davison.
OpenAlex · ORCID · h-index 14 · 63 works · 741 citations OpenAlex, 2026-10-14
📄 3 works in our library · 🔗 Cited 15 times in our library · ⭐ Paper Stars ranking: #9342
Affiliations
Fields, topics and concepts
📚 Shelves 7The field of science this work belongs to (OpenAlex fields).Computer Science · 3 worksArts and Humanities · 2 worksArtificial Intelligence · 3 worksLanguage and Linguistics · 2 worksComputational Theory and Mathematics · 1 workControl and Systems Engineering · 1 workEngineering · 1 work
🧭 Topics 3Research subjects and languages the work is about.Language models & pretraining · 1 workReasoning · 1 workVision & language · 1 work
Works by year
2020s
Papers
- ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data (2025 · 16 citations)
The paper addresses autoformalization: converting natural-language theorem statements into machine-checkable Lean 4 code. - MARS-RA: Rank Aggregation for Credit Assignment via Multimodal Comparisons in Embodied Multi-Agent Cooperation (2026)
The paper addresses credit assignment in cooperative multi-agent reinforcement learning (MARL) for embodied AI. In this setting, agents see only noisy egocentric views, rewards are sparse and delayed, and agents may join or drop out mid-task. Classic methods such as VDN, QMIX and COMA struggle under these conditions. - Tracing the Light of Thought: A Probabilistic Self- and Cross-Consistency Verification Mechanism Improving Mathematical Reasoning in LLMs (2026)
Self Consistency (SC) samples many reasoning chains and returns the most common answer. It breaks down on hard math problems, where wrong answers outnumber right ones. The authors borrow an idea from computer graphics, Metropolis Light Transport, which concentrates sampling near light paths already known to carry…
Co-authors here
Venues
- Annual Meeting of the Association for Computational Linguistics (ACL): ACL 2026
- Findings of the Association for Computational Linguistics: Findings of the Association for Computational Linguistics 2026
- Conference on Neural Information Processing Systems (NeurIPS): NeurIPS 2025
Cited by
Updated
This page in Markdown → https://md.research.elamur.ai/free/en/authors/xiaoyang-liu/