Mingzhe Xing

Identifiers

No identifiers captured yet.

Papers (4)

1. NEXUS: Continual Learning of Symbolic Constraints for Safe and Robust Embodied Planning cs.AI · 2026 · author #5
2. Stop Fixating on Prompts: Reasoning Hijacking and Constraint Tightening for Red-Teaming LLM Agents cs.CL · 2026 · author #5
3. When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure cs.SE · 2026 · author #4
4. OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine cs.SE · 2025 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Congying Liu 2 shared papers
• Datao You 2 shared papers
• Haoyu Wang 2 shared papers
• Jie Ma 2 shared papers
• Jinwen Xi 2 shared papers
• Ningyu He 2 shared papers
• Peipei Liu 2 shared papers
• Tiehan Cui 2 shared papers
• Yanxu Mao 2 shared papers
• Ying Gao 2 shared papers
• Yinliang Yue 2 shared papers
• Chiachih Wu 1 shared papers
• Jiushenzi Luo 1 shared papers
• Liangxin Liu 1 shared papers
• Xiaopeng Fu 1 shared papers