Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic
使用信号时序逻辑的字典序最小违规运动规划
Patrick Halder, Lothar Kiltz, Hannes Homburger, Johannes Reuter, Matthias Althoff
机构
*
School of Computation, Information and Technology, Technical University of Munich(慕尼黑技术大学计算信息与技术学院)
;
ZF Friedrichshafen AG(弗赖堡汽车集团)
;
Institute of System Dynamics, HTWG Konstanz(康斯坦茨HTWG系统动力学研究所)
Planning for climate neutrality in the Nordic power sector: Insights from a non-harmonised comparison of eight energy system models
同方向下的多样化努力:北欧国家气候中性电力部门路径的多模型比较
Emir Fejzić, Will Usher, Ida Græsted Jensen, Marianne Zeyringer, Oskar Vågerö, Maximilian Roithner, Guillermo Valenzuela-Venegas, Rasmus Bramstoft, Marie Münster, Jean-Nicolas Louis, Pernille Seljom, Miguel Chang, Eirik Ogner Jåstad, Dmitrii Bogdanov, Christian Breyer
机构
*
College of Computer Science and Technology, Zhejiang University, Hangzhou, China(浙江大学计算机科学与技术学院,中国杭州)
;
WINDY Lab, Department of Artificial Intelligence, Westlake University, Hangzhou, China(西湖大学人工智能系WINDY实验室,中国杭州)
;
Department of Electrical Engineering, California Institute of Technology, Pasadena, USA(加州理工学院电气工程系,美国帕萨迪纳)
PhysMaster: Building an Autonomous AI Physicist for Theoretical and Computational Physics Research
PhysMaster:构建一个自主的AI物理学家用于理论和计算物理学研究
Tingjia Miao, Wenkai Jin, Jinxin Tan, Muhua Zhang, Xianghe Pang, Zexi Liu, Yuwen Du, Tian Jin, Tu Guo, Zhengliang Zhang, Jingkun Liu, Yuelin Hu, Jiejun Zhang, Yunjie Huang, Yuhan Wang, Wenbo Li, Yinuo Gao, Shuo Chen, Rui Ye, Yuzhi Zhang, Linfeng Zhang, Kun Chen, Wei Wang, Weinan E, Siheng Chen
机构
*
School of Artificial Intelligence(人工智能学院)
;
Shanghai Jiao Tong University(上海交通大学)
;
School of Physics and Astronomy(物理天文学院)
;
State Key Laboratory of Dark Matter Physics(暗物质物理国家重点实验室)
;
Tsung-Dao Lee Institute(李政道研究所)
;
Zhiyuan College(智源学院)
;
Institute of Theoretical Physics(理论物理研究所)
;
Chinese Academy of Sciences(中国科学院)
;
DP Technology(DP技术)
OTora: A Unified Red Teaming Framework for Reasoning-Level Denial-of-Service in LLM Agents
OTora:一种用于LLM代理推理层面拒绝服务攻击的统一红队框架
Xinyu Li, Ronghui Mu, Lin Li, Tianjin Huang, Gaojie Jin
机构
*
Department of Computer Science, University of Exeter(埃克塞特大学计算机科学系)
;
Department of Computer Science, University of Oxford(牛津大学计算机科学系)
;
Department of Mathematics and Computer Science, Eindhoven University of Technology(埃因霍温理工大学数学与计算机科学系)
机构
*
Tencent(腾讯)
;
University of Maryland, College Park(马里兰大学帕克分校)
;
University of Georgia(佐治亚大学)
;
University of Minnesota, Twin Cities(明尼苏达大学双城分校)
;
Indiana University(印第安纳大学)
;
Lehigh University(里海大学)
;
National University of Singapore(新加坡国立大学)
;
The Hong Kong Polytechnic University(香港理工大学)
机构
*
School of Information Technology, Monash University, Malaysia(墨尔本大学信息科技学院)
;
Faculty of Information Technology, Monash University, Australia(墨尔本大学信息技术学院)
;
TCS Research, India(印度TCS研究)
Automated Visualization Code Synthesis via Multi-Path Reasoning and Feedback-Driven Optimization
通过多路径推理和反馈驱动优化实现自动化可视化代码合成
Wonduk Seo, Daye Kang, Hyunjin An, Taehan Kim, Soohyuk Cho, Seungyong Lee, Minhyeong Yu, Jian Park, Yi Bu, Seunghyun Lee
机构
*
AI Research, Enhans, Seoul, South Korea Innovation \& Technology, KAIST, Daejeon, South Korea Department of Computer Science, University of California, Berkeley, CA, United States Department of Electrical