中文
相关论文

相关论文: FormulaOne: Measuring the Depth of Algorithmic Rea…

200 篇论文

We introduce an increasing-complexity, open-ended, and human-agnostic metric to evaluate foundational and frontier AI models in the context of Artificial General Intelligence (AGI) and Artificial Super Intelligence (ASI) claims. Unlike…

人工智能 · 计算机科学 2026-02-13 Alberto Hernández-Espinosa , Luan Ozelim , Felipe S. Abrahão , Hector Zenil

If AI models can detect when they are being evaluated, the effectiveness of evaluations might be compromised. For example, models could have systematically different behavior during evaluations, leading to less reliable benchmarks for…

计算与语言 · 计算机科学 2025-07-17 Joe Needham , Giles Edkins , Govind Pimpale , Henning Bartsch , Marius Hobbhahn

Designing fair algorithmic decision systems requires balancing model performance with fairness toward affected individuals: More fairness might require sacrificing some performance and vice versa, yet the space of possible trade-offs is…

机器学习 · 计算机科学 2026-05-12 Mieke Wilms , Christoph Heitz

We present an extended version of the AI Productivity Index (APEX-v1-extended), a benchmark for assessing whether frontier models are capable of performing economically valuable tasks in four jobs: investment banking associate, management…

Large Reasoning Models (LRMs) have made significant progress in mathematical capabilities in recent times. However, these successes have been primarily confined to competition-level problems. In this work, we propose AI Mathematician (AIM)…

人工智能 · 计算机科学 2025-05-29 Yuanhang Liu , Yanxing Huang , Yanqiao Wang , Peng Li , Yang Liu

The emergence of groundbreaking large language models capable of performing complex reasoning tasks holds significant promise for addressing various scientific challenges, including those arising in complex clinical scenarios. To enable…

计算与语言 · 计算机科学 2025-05-30 Yakun Zhu , Zhongzhen Huang , Linjie Mu , Yutong Huang , Wei Nie , Jiaji Liu , Shaoting Zhang , Pengfei Liu , Xiaofan Zhang

Performance optimization of deep learning models is conducted either manually or through automatic architecture search, or a combination of both. On the other hand, their performance strongly depends on the target hardware and how…

机器学习 · 计算机科学 2022-09-23 Vahid Partovi Nia , Alireza Ghaffari , Mahdi Zolnouri , Yvon Savaria

AI agents hold growing promise for accelerating scientific discovery; yet, a lack of frontier evaluations hinders adoption into real workflows. Expert-written benchmarks have proven effective at measuring AI reasoning, but most at this…

Scientific reasoning is critical for developing AI scientists and supporting human researchers in advancing the frontiers of natural science discovery. However, the open-source community has primarily focused on mathematics and coding while…

计算与语言 · 计算机科学 2025-08-28 Run-Ze Fan , Zengzhi Wang , Pengfei Liu

Reasoning has emerged as the next major frontier for language models (LMs), with rapid advances from both academic and industrial labs. However, this progress often outpaces methodological rigor, with many evaluations relying on…

While the exploration for embodied AI has spanned multiple decades, it remains a persistent challenge to endow agents with human-level intelligence, including perception, learning, reasoning, decision-making, control, and generalization…

机器人学 · 计算机科学 2024-02-07 Zhiyuan Xu , Kun Wu , Junjie Wen , Jinming Li , Ning Liu , Zhengping Che , Jian Tang

Large language models (LLMs) have achieved strong performance on reasoning benchmarks, yet their ability to solve real-world problems requiring end-to-end workflows remains unclear. Mathematical modeling competitions provide a stringent…

计算与语言 · 计算机科学 2026-04-07 Yuhang Liu , Heyan Huang , Yizhe Yang , Hongyan Zhao , Zhizhuo Zeng , Yang Gao

Reasoning ability has become a central focus in the advancement of Large Reasoning Models (LRMs). Although notable progress has been achieved on several reasoning benchmarks such as MATH500 and LiveCodeBench, existing benchmarks for…

人工智能 · 计算机科学 2026-01-12 Henan Sun , Kaichi Yu , Yuyao Wang , Bowen Liu , Xunkai Li , Rong-Hua Li , Nuo Chen , Jia Li

Despite the remarkable advancements and widespread applications of deep neural networks, their ability to perform reasoning tasks remains limited, particularly in domains requiring structured, abstract thought. In this paper, we investigate…

计算与语言 · 计算机科学 2025-09-16 Satyam Goyal , Soham Dan

We introduce Vibe Reasoning, a human-AI collaborative paradigm for solving complex mathematical problems. Our key insight is that frontier AI models already possess the knowledge required to solve challenging problems -- they simply do not…

人工智能 · 计算机科学 2025-12-23 Jiaao Wu , Xian Zhang , Fan Yang , Yinpeng Dong

Large Language Models (LLMs) have the unique capability to understand and generate human-like text from input queries. When fine-tuned, these models show enhanced performance on domain-specific queries. OpenAI highlights the process of…

计算与语言 · 计算机科学 2024-07-02 Scott Barnett , Zac Brannelly , Stefanus Kurniawan , Sheng Wong

Today's leading AI models engage in sophisticated behaviour when placed in strategic competition. They spontaneously attempt deception, signaling intentions they do not intend to follow; they demonstrate rich theory of mind, reasoning about…

人工智能 · 计算机科学 2026-02-17 Kenneth Payne

Transformers have become the foundational architecture for a broad spectrum of sequence modeling applications, underpinning state-of-the-art systems in natural language processing, vision, and beyond. However, their theoretical limitations…

Many promising-looking ideas in AI research fail to deliver, but their validation takes substantial human labor and compute. Predicting an idea's chance of success is thus crucial for accelerating empirical AI research, a skill that even…

人工智能 · 计算机科学 2025-06-03 Jiaxin Wen , Chenglei Si , Yueh-han Chen , He He , Shi Feng

Benchmarks are critical for measuring Large Language Model (LLM) reasoning capabilities. Some benchmarks have even become the de facto indicator of such capabilities. However, as LLM reasoning capabilities improve, existing widely-used…

计算与语言 · 计算机科学 2025-02-26 Stephen Miner , Yoshiki Takashima , Simeng Han , Sam Kouteili , Ferhat Erata , Ruzica Piskac , Scott J Shapiro