Mengda He — accepted AI-conference papers

2025

From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs

Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He +6

ACL 2025long

The research in AI-based formal mathematical reasoning has shown an unstoppable growth trend. These studies have excelled in mathematical competitions like IMO and have made significant progress. However, these studies intertwined multiple skills simultaneously—problem-solving, reasoning, and writin…

Cited by 0 Source ↗PDF ↗code ↗Scholar ↗

2020

Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC

Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin +1

ICRA 2020poster

In this paper, we revisit model predictive control (MPC) for the classical wheeled mobile robot (WMR) navigation problem. We prove that the reachable set based hierarchical MPC (HMPC), a state-of-the-art MPC, cannot handle WMR navigation in theory due to the non-existence of non-trivial linear syste…

Cited by 2 Source ↗Scholar ↗