Lan Zhang
22 papers · 2019–2026 · 10 venues · across top CS/AI venues
This profile combines several different researchers. Authors are keyed by name, and this name's papers fall into 10 separate collaboration groups - the largest holds only 23% of them. Pick the group below that matches the researcher you mean. How a shared name is split.
Achievements are not shown for a combined profile - each one describes a single researcher's record, which this is not.
Which Lan Zhang?
5 groups of papers that share co-authors internally but none with each other - each most likely a different researcher. Pick one to see its papers.
with Andre Freitas, Marco Valentino, Jordan Meadows
5 papers
· 2024–2026
· EMNLP, ACL, NAACL
Hide ▲
FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
ACL 2026
Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
EMNLP 2025
MASA: LLM-Driven Multi-Agent Systems for Autoformalization
EMNLP 2025
Consistent Autoformalization for Constructing Mathematical Libraries
EMNLP 2024
Multi-Operational Mathematical Derivations in Latent Space
NAACL 2024
5 papers whose co-authors appear nowhere else under this name
Rethinking U-Net: Task-Adaptive Mixture of Skip Connections for Enhanced Medical Image Segmentation
AAAI 2025
An LLM-enhanced Agent-based Simulation Tool for Information Propagation
IJCAI 2024
Topology-aware Generalization of Decentralized SGD
ICML 2022
Towards Video Text Visual Question Answering: Benchmark and Baseline
NeurIPS 2022
Extensible Cross-Modal Hashing
IJCAI 2019