Lan Zhang

Venues

Frequent coauthors

Papers

1. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
   ACL 2026 ·

   Jordan Meadows

   DBLP profile ↗ORCID search ↗
2. How Do LLMs "Trust" Unknown Knowledge? An Unknown Knowledge Based Jailbreak Attack
   ACL 2026 ·

   Yixiao Huang

   DBLP profile ↗ORCID search ↗
3. Importance-Aware Data Selection for Efficient LLM Instruction Tuning
   AAAI 2026 ·

   Tingyu Jiang

   DBLP profile ↗ORCID search ↗
4. The Impact of Automation Conditions and Cognitive Abilities on Performance in Smart Factories under Different Task Types
   CHI 2026 · Lan Zhang
5. VET: Verifiable Execution Tracing for Reliable Text-to-SQL Generation
   ACL 2026 ·

   Dongyu Wang

   DBLP profile ↗ORCID search ↗
6. Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
   EMNLP 2025 · Lan Zhang
7. CTS: A Consistency-Based Medical Image Segmentation Model
   ICRA 2025 ·

   Kejia Zhang

   DBLP profile ↗ORCID search ↗
8. MASA: LLM-Driven Multi-Agent Systems for Autoformalization
   EMNLP 2025 · Lan Zhang
9. Rethinking U-Net: Task-Adaptive Mixture of Skip Connections for Enhanced Medical Image Segmentation
   AAAI 2025 ·

   Zichen Luo

   DBLP profile ↗ORCID search ↗
10. An LLM-enhanced Agent-based Simulation Tool for Information Propagation
    IJCAI 2024 ·

    Yuxuan Hu

    DBLP profile ↗ORCID search ↗
11. Consistent Autoformalization for Constructing Mathematical Libraries
    EMNLP 2024 · Lan Zhang
12. Multi-Operational Mathematical Derivations in Latent Space
    NAACL 2024 ·

    Marco Valentino

    DBLP profile ↗ORCID search ↗