3 papers indexed
Yuqing Li, Haotian Xu, DeHao Han, Hongbing Wang
Accurately identifying scrap steel yield rates remains challenging due to the diverse types, mixed sources of scrap, and complex furnace working conditions. This paper proposes a mechanism and data joint-driven identification method, and identification precision is enhanced by co…
Yuqing Li, Zeguan Wu, Yu Gan, Junyu Liu
Designing effective Lean proof agents is a central challenge in formal mathematical reasoning. Beyond building stronger provers, recent work emphasizes the workflow around Lean: how an agent decomposes proof obligations, uses tools and compiler feedback, diagnoses failures, repai…
Min Chen, Yu Gan, Xin Jin, Yuqing Li, Junqi Wang, Zeguan Wu, et al.
Artificial intelligence (AI) and quantum information (QI) are rapidly co-evolving. AI is becoming a practical tool for learning, designing, controlling, and verifying quantum systems, while QI offers new computational models, representational structures, and learning-theoretic qu…