Jiayi Lu

1. Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
   2026/02/09 by Jianyu Zhang, Fuyuan Zhang, Jiayi Lu +5 · 3 voices
   #cs.CR
2. Generative AI-Enhanced Multi-Modal Semantic Communication in Internet of Vehicles: System Design and Methodologies
   2024/09/24 by Jiayi Lu, Wanting Yang, Lu, Jiayi +11 · 3 citations
   Computer Science · Engineering · #Cognitive Computing and Networks #FOS: Computer and information sciences #Networking and Internet Architecture (cs.NI) #Robotics and Automated Systems
3. On Path to Multimodal Historical Reasoning: HistBench and HistAgent
   2025/05/26 by J. F. Qiu, Fulian Xiao, Qiu, Jiahao +187 · 3 citations
   Computer Science · #Natural Language Processing Techniques #Semantic Web and Ontologies #Topic Modeling