Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
Lean-QIT:迈向量子信息理论的形式化基础设施
Chengkai Zhu, Ziao Tang, Guocheng Zhen, Yimeng Cao, Yusheng Zhao, Ranyiliu Chen, Xuanqiang Zhao, Lei Zhang, Xin Wang
机构
*
QudeLeap Research(QudeLeap研究院)
;
The Hong Kong University of Science and Technology (Guangzhou)(香港科技大学(广州))
;
Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area(粤港澳大湾区量子科学中心)
;
The University of Hong Kong(香港大学)
机构
*
Department of Computer Science Tennessee Tech University Cookeville, TN, USA
;
School of Interdisciplinary Informatics University of Nebraska Omaha Omaha, NE, USA
;
1 Department of Computer Science, Tennessee Tech University, TN, USA.
;
2 School of Interdisciplinary Informatics, University of Nebraska Omaha, NE, USA.
;
3 Dept. of Mathematics \& Computer Science, University of North Carolina at Pembroke, NC, USA.
An Incremental Sampling and Segmentation-Based Approach for Motion Planning Infeasibility
一种基于增量采样和分割的运动规划不可行性方法
Antony Thomas, Fulvio Mastrogiovanni, Marco Baglietto
机构
*
Robotics Research Center, IIIT Hyderabad(IIIT海得拉巴机器人研究中心)
;
Department of Informatics, Bioengineering, Robotics, and Systems Engineering, University of Genoa(热那亚大学信息学院、生物工程、机器人与系统工程系)
机构
*
Vellore Institute of Technology(维洛雷理工学院)
;
University of Massachusetts Amherst(马萨诸塞大学阿姆赫斯特分校)
;
Northwestern University(西北大学)
;
Yale University(耶鲁大学)
;
Algoverse AI Research(Algoverse AI研究)
Comments12 pages, 4 figures, 6 tables. Includes ablation study across Qwen2.5-7B-Instruct and Llama-3.1-8B-Instruct on 5 math reasoning benchmarks (GSM8K, MATH500, Minerva, AIME24, Gaokao2023). GPT-4.1 used for structured evaluation of reasoning quality
A Descriptive and Normative Theory of Human Beliefs in RLHF
基于人类反馈强化学习中的人类信念描述性与规范性理论
Sylee Dandekar, Shripad Deshmukh, Frank Chiu, W. Bradley Knox, Scott Niekum
机构
*
College of Information and Computer Sciences University of Massachusetts Amherst(信息与计算机科学学院 马萨诸塞大学阿姆赫斯特分校)
;
Department of Computer Science The University of Texas at Austin(计算机科学系 德州大学奥斯汀分校)
Journal refFSE Companion '25: Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, Trondheim, Norway, June 2025