Lan Zhang
23 papers · 2019–2026 · 11 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
🏃 Academic Marathon (6) 🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (11) 🐝 Cross-Pollinator (13)
🐣
Hot Topic Early Bird
🌍
Conference Polyglot
(11)
🏃
Academic Marathon
(6)
🏆
Keyword Champion
(2)
🏆
Grand Slam
🧬
Topic Evolution
🔥
Unstoppable
(5)
💎
Century Club
(21)
⚡
Prolific Year
(6)
🗃️
Keyword Collector
(118)
Conferences
AAAI (4)
ACL (4)
IJCAI (4)
EMNLP (3)
ICML (2)
ICCV (1)
ICLR (1)
IJCNLP (1)
NAACL (1)
NIPS (1)
WACV (1)
Top co-authors
Research topics
Keywords
large language model
(6)
latent space
(3)
text representation
(3)
unsupervised learning
(2)
representation learning
(2)
theorem proving
(2)
retrieval-augmented generation
(2)
synthetic dataset
(2)
online learning
(2)
collaborative inference
(2)
generative model
(2)
representation disentanglement
(2)
mathematical reasoning
(1)
sequential decision making
(1)
visual question answering
(1)
semantic segmentation
(1)
object detection
(1)
neural network pruning
(1)
multimodal learning
(1)
temporal reasoning
(1)
Papers
FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
ACL 2026
Importance-Aware Data Selection for Efficient LLM Instruction Tuning
AAAI 2026
Model Lineage Closeness Analysis
AAAI 2025
Safety Layers in Aligned Large Language Models: The Key to LLM Security
ICLR 2025
Rethinking U-Net: Task-Adaptive Mixture of Skip Connections for Enhanced Medical Image Segmentation
AAAI 2025
RemoteRAG: A Privacy-Preserving LLM Cloud RAG Service
ACL 2025
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
BadFusion: 2D-Oriented Backdoor Attacks against 3D Object Detection
IJCAI 2024
Bandits with Concave Aggregated Reward
IJCAI 2024
An LLM-enhanced Agent-based Simulation Tool for Information Propagation
IJCAI 2024
Multi-Operational Mathematical Derivations in Latent Space
NAACL 2024
PATROL: Privacy-Oriented Pruning for Collaborative Inference Against Model Inversion Attacks
WACV 2024
Workie-Talkie: Accelerating Federated Learning by Overlapping Computing and Communications via Contrastive Regularization
ICCV 2023
Optimal Arms Identification with Knapsacks
ICML 2023
MLink: Linking Black-Box Models for Collaborative Multi-Model Inference
AAAI 2022
On the Effect of Isotropy on VAE Representations of Text
ACL 2022
Towards Video Text Visual Question Answering: Benchmark and Baseline
NIPS 2022
Topology-aware Generalization of Decentralized SGD
ICML 2022
Unsupervised Representation Disentanglement of Text: An Evaluation on Synthetic Datasets
IJCNLP 2021
Unsupervised Representation Disentanglement of Text: An Evaluation on Synthetic Datasets
ACL 2021
Extensible Cross-Modal Hashing
IJCAI 2019