Meiziniu Li

2 papers · 2024–2025 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver ❓ The Questioner

Venues

ACL (1) NeurIPS (1)

Top co-authors

LINGMING ZHANG (1) Cheng Wen (1) Yaojie Lu (1) Mengda He (1) Le Sun (1) Haoyang Ma (1) Shing-Chi Cheung (1) Cong Tian (1) Hongyu Zhang (1) Yinlin Deng (1)

Research topics

Artificial Intelligence (2) Deep Learning (2) Natural Language Processing (2) Core AI (2) Models (2) Resources & Methods (2) Knowledge & Reasoning (1) Reasoning (1)

Keywords

large language model (2) code generation (1) formal verification (1) formal specification (1) formal proof (1) application programming interface (1) natural language requirement (1) data science (1) api constraint (1) numerical constraint (1) numeric constraint (1) data science library (1) theorem proving (1) api parameter (1)

Papers

From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs ACL 2025 Can LLMs Implicitly Learn Numeric Parameter Constraints in Data Science APIs? NeurIPS 2024