Meiziniu Li
2 papers
· 2024–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🐝
Cross-Pollinator
(12)
❓
The Questioner
Conferences
ACL (1)
NIPS (1)
Top co-authors
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)