Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
形式猜想:一个开放且不断演进的数学验证发现基准
Moritz Firsching, Paul Lezeau, Salvatore Mercuri, Miklós Z. Horváth, Yaël Dillies, Calle Sönne, Eric Wieser, Fred Zhang, Thomas Hubert, Blaise Agüera y Arcas, Pushmeet Kohli
机构
*
Google DeepMind(谷歌DeepMind)
;
Imperial College London(帝国理工学院伦敦分校)
;
Stockholms universitet(斯德哥尔摩大学)
gwBenchmarks: Stress-Testing LLM Agents on High-Precision Gravitational Wave Astronomy
gwBenchmarks: 对高精度引力波天文学中LLM代理的应力测试
Tousif Islam, Digvijay Wadekar, Zihan Zhou
机构
*
Kavli Institute for Theoretical Physics, University of California Santa Barbara, Kohn Hall, Lagoon Rd, Santa Barbara, CA 93106(加州大学圣芭芭拉分校凯弗利理论物理研究所)
;
Center for Gravitational Physics, University of Texas at Austin, Austin, TX 78712, USA(德克萨斯大学奥斯汀分校引力物理中心)
;
Department of Physics, Princeton University, Princeton, NJ 08540, USA(普林斯顿大学物理系)
PDEAgent-Bench: A Multi-Metric, Multi-Library Benchmark for PDE Solver Generation
PDEAgent-Bench: 一个多指标、多库的PDE求解器生成基准
Zhen Hang, Yushan Yashengjiang, Junhui Li, Huanshuo Dong, Yang Wei, Zhezheng Hao, Jiangtao Ma, Songlin Bai, Haozhong Kai, Xihang Yue, Gangzong Si, Dongming Jiang, Chao Yao, Zhanhua Hu, Jiangqing Zhang, Pengwei Liu, Yaomin Shen, Xingyu Ren, Lei Liu, Zikang Xu, Han Li, Qingsong Yao, Hande Dong, Hong Wang
机构
*
University of Science and Technology of China(中国科学技术大学)
;
Tencent(腾讯)
;
Beijing University of Posts and Telecommunications(北京邮电大学)
;
Shanghai Jiao Tong University(上海交通大学)
;
Zhejiang University(浙江大学)
;
National University of Singapore(新加坡国立大学)
;
Tsinghua University(清华大学)
;
University of Texas at Dallas(德克萨斯大学达拉斯分校)
;
Arizona State University(亚利桑那州立大学)
;
Rice University(里士满大学)
;
Technical University of Munich(慕尼黑技术大学)
;
Stanford University(斯坦福大学)
;
Alibaba Group(阿里巴巴集团)
GravityGraphSAGE: Link Prediction in Directed Attributed Graphs
GravityGraphSAGE:有向属性图中的链接预测
Riccardo Porcedda, Francesca Chiaromonte, Fabrizio Lillo, Andrea Vandin
机构
*
Department of Excellence L’EMbeDS, Sant’Anna School of Advanced Studies(卓越部门L’EMbeDS,圣安娜高级研究学校)
;
Department of Computer Science, University of Pisa(比萨大学计算机科学系)
;
Department of Statistics and Huck Institutes of the Life Sciences, The Pennsylvania State University(统计学与生命科学学院,宾夕法尼亚州立大学)
;
Class of Science, Scuola Normale Superiore(科学班级,正规大学)
;
DTU Technical University of Denmark(丹麦技术大学)
Structured Security Auditing and Robustness Enhancement for Untrusted Agent Skills
结构化安全审计与不信任代理技能的鲁棒性增强
Lijia Lv, Xuehai Tang, Jie Wen, Jizhong Han, Songlin Hu
机构
*
Institute of Information Engineering, Chinese Academy of Sciences(中国科学院信息工程研究所)
;
School of Cyber Security, University of Chinese Academy of Sciences(中国科学院大学网络安全学院)
Splitting criteria for ordinal decision trees: an experimental study
序数决策树的分裂标准:一项实证研究
Rafael Ayllón-Gavilán, Francisco José Martínez-Estudillo, David Guijo-Rubio, César Hervás-Martínez, Pedro Antonio Gutiérrez
机构
*
Department of Clinical-Epidemiological Research in Primary Care, IMIBIC(初级保健临床流行病学研究部门,IMIBIC)
;
Department of Quantitative Methods, Universidad Loyola Andalucía(定量方法部门,洛伊亚安达卢西亚大学)
CommentsAccepted and Presented at ANTIC 2025, IIITM Gwalior (5th International Conference on Advanced Network Technologies and Intelligent Computing) on 23rd December 2025. Presented with the best paper award in Image Processing Track
Alexandria: A Multi-Domain Dialectal Arabic Machine Translation Dataset for Culturally Inclusive and Linguistically Diverse LLMs
Alexandria:一个多领域方言阿拉伯语机器翻译数据集,用于文化包容和语言多样性的LLM
Abdellah El Mekki, Samar M. Magdy, Houdaifa Atou, Ruwa AbuHweidi, Baraah Qawasmeh, Omer Nacar, Thikra Al-hibiri, Razan Saadie, Hamzah Alsayadi, Nadia Ghezaiel Hammouda, Alshima Alkhazimi, Aya Hamod, Al-Yas Al-Ghafri, Wesam El-Sayed, Asila Al sharji, Mohamad Ballout, Anas Belfathi, Karim Ghaddar, Serry Sibaee, Alaa Aoun, Areej Asiri, Lina Abureesh, Ahlam Bashiti, Majdal Yousef, Abdulaziz Hafiz, Yehdih Mohamed, Emira Hamedtou, Brakehe Brahim, Rahaf Alhamouri, Youssef Nafea, Aya El Aatar, Walid Al-Dhabyani, Emhemed Hamed, Sara Shatnawi, Fakhraddin Alwajih, Khalid Elkhidir, Ashwag Alasmari, Abdurrahman Gerrio, Omar Alshahri, AbdelRahim A. Elmadany, Ismail Berrada, Amir Azad Adli Alkathiri, Fadi A Zaraket, Mustafa Jarrar, Yahya Mohamed El Hadj, Hassan Alhuzali, Muhammad Abdul-Mageed
机构
*
The University of British Columbia(不列颠哥伦比亚大学)
;
Canada Research Chair in NLP and ML(自然语言处理和机器学习研究主席)
;
Mohammed VI Polytechnic University(穆莱·阿卜杜勒阿齐兹国王理工学院)
;
Birzeit University(比尔泽特大学)
;
Western Michigan University(西部密歇根大学)
;
Tuwaiq Academy(图瓦伊克学院)
;
King Khalid University(国王卡利德大学)
;
American University of Beirut(贝鲁特美国大学)
;
Ibb University(伊卜大学)
;
University of Hail(海勒大学)
;
University of Technology and Applied Sciences(技术与应用科学大学)
;
Arab Open University(阿拉伯开放大学)
;
Minia University(米尼亚大学)
;
Nantes University(南特大学)
;
Prince Sultan University(沙特王子大学)
;
Umm Al-Qura University(乌姆·阿勒·卡拉大学)
;
University of Nouakchott(努尔人大学)
;
Fatabyyano(法塔比亚诺)
;
Independent Researcher(独立研究者)
;
Hadhramout University(哈德拉姆大学)
;
Cairo University(开罗大学)
;
Misurata University(米斯拉塔大学)
;
Al-Balqa Applied University(巴勒斯坦应用大学)
;
University of Khartoum(喀土穆大学)
;
Sultan Qaboos Higher Centre for Culture and Science(穆罕默德·本·拉希德·阿勒马克图姆文化与科学高级中心)
;
Arab Center for Research and Policy Studies(阿拉伯研究中心)
;
Hamad Bin Khalifa University(哈马德·本·哈利法大学)
;
Institut Supérieur du Numérique(数字高级学院)
机构
*
Department of Computer
;
Data Sciences, Case Western Reserve University, Cleveland, USA
;
Department of Computer Science \& Engineering, Texas A\&M University, College Station, USA
;
Department of Biochemistry, Case Western Reserve University, Cleveland, USA
;
Center for RNA Science
;
Therapeutics, Case Western Reserve University, Cleveland, USA
;
Department of Biomedical Engineering, Case Western Reserve University, Cleveland, USA