PPaperPicks

Lan Zhang

12 papers at tracked venues · 6 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

ACL ×3EMNLP ×3AAAI ×2CHI ×1ICRA ×1IJCAI ×1NAACL ×1

Frequent coauthors

André Freitas
×5
Marco Valentino
×3
Jordan Meadows
×2
Yixiao Huang
×1
Chaoran Wang
×1
Tingyu Jiang
×1
Shen Li
×1
Yiyao Song
×1
Hualei Zhu
×1
Yuan Zhao
×1
Xiaohang Xu
×1
Kenjiro Taura
×1

Papers

  1. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
    ACL 2026 ·
    Jordan Meadows
    , Lan Zhang,
    André Freitas
  2. How Do LLMs "Trust" Unknown Knowledge? An Unknown Knowledge Based Jailbreak Attack
    ACL 2026 ·
    Yixiao Huang
    , Lan Zhang,
    Chaoran Wang
  3. Importance-Aware Data Selection for Efficient LLM Instruction Tuning
    AAAI 2026 ·
    Tingyu Jiang
    ,
    Shen Li
    ,
    Yiyao Song
    , Lan Zhang,
    Hualei Zhu
    ,
    Yuan Zhao
    ,
    Xiaohang Xu
    ,
    Kenjiro Taura
    ,
    Hao Henry Wang
  4. The Impact of Automation Conditions and Cognitive Abilities on Performance in Smart Factories under Different Task Types
    CHI 2026 · Lan Zhang,
    Xiaoli Wu
    ,
    Biao Yan
    ,
    Xiao Liu
  5. VET: Verifiable Execution Tracing for Reliable Text-to-SQL Generation
    ACL 2026 ·
    Dongyu Wang
    ,
    Jingyu Li
    , Lan Zhang,
    Ganggang Yu
    ,
    Liang Huang
  6. Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
    EMNLP 2025 · Lan Zhang,
    Marco Valentino
    ,
    André Freitas
  7. CTS: A Consistency-Based Medical Image Segmentation Model
    ICRA 2025 ·
    Kejia Zhang
    , Lan Zhang,
    Haiwei Pan
  8. MASA: LLM-Driven Multi-Agent Systems for Autoformalization
    EMNLP 2025 · Lan Zhang,
    Marco Valentino
    ,
    André Freitas
  9. Rethinking U-Net: Task-Adaptive Mixture of Skip Connections for Enhanced Medical Image Segmentation
    AAAI 2025 ·
    Zichen Luo
    ,
    Xinshan Zhu
    , Lan Zhang,
    Biao Sun
  10. An LLM-enhanced Agent-based Simulation Tool for Information Propagation
    IJCAI 2024 ·
    Yuxuan Hu
    ,
    Gemju Sherpa
    , Lan Zhang,
    Weihua Li
    ,
    Quan Bai
    ,
    Yijun Wang
    ,
    Xiaodan Wang
  11. Consistent Autoformalization for Constructing Mathematical Libraries
    EMNLP 2024 · Lan Zhang,
    Xin Quan
    ,
    André Freitas
  12. Multi-Operational Mathematical Derivations in Latent Space
    NAACL 2024 ·
    Marco Valentino
    ,
    Jordan Meadows
    , Lan Zhang,
    André Freitas