:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Wu, Jiaao, Zhang, Xian, Yang, Fan, Dong, Yinpeng
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2512.19287
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

STAR-PólyaMath: Multi-Agent Reasoning under Persistent Meta-Strategic Supervision
by: Wu, Jiaao, et al.
Published: (2026)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
by: Liang, Zhenwen, et al.
Published: (2025)

Formal Mathematical Reasoning: A New Frontier in AI
by: Yang, Kaiyu, et al.
Published: (2024)

Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline
by: Huang, Yichen, et al.
Published: (2025)

FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
by: Glazer, Elliot, et al.
Published: (2024)

RealSafe-R1: Safety-Aligned DeepSeek-R1 without Compromising Reasoning Capability
by: Zhang, Yichi, et al.
Published: (2025)

Logit Arithmetic Elicits Long Reasoning Capabilities Without Training
by: Zhang, Yunxiang, et al.
Published: (2025)

To Vibe Research or Not to Vibe Research? Generative AI in Qualitative Research
by: Karhu, Katja, et al.
Published: (2026)

The Elicitation Game: Evaluating Capability Elicitation Techniques
by: Hofstätter, Felix, et al.
Published: (2025)

Tiny Model, Big Logic: Diversity-Driven Optimization Elicits Large-Model Reasoning Ability in VibeThinker-1.5B
by: Xu, Sen, et al.
Published: (2025)

AI Mathematician: Towards Fully Automated Frontier Mathematical Research
by: Liu, Yuanhang, et al.
Published: (2025)

WorkForceAgent-R1: Incentivizing Reasoning Capability in LLM-based Web Agents via Reinforcement Learning
by: Zhuang, Yuchen, et al.
Published: (2025)

Aristotle: IMO-level Automated Theorem Proving
by: Achim, Tudor, et al.
Published: (2025)

Open-World Evaluations for Measuring Frontier AI Capabilities
by: Kapoor, Sayash, et al.
Published: (2026)

HintMR: Eliciting Stronger Mathematical Reasoning in Small Language Models
by: Hossain, Jawad, et al.
Published: (2026)

Vibe Learning: Education in the age of AI
by: Florencio, Marcos, et al.
Published: (2025)

Challenging Mathematical Problems Designed to Evaluate Advanced AI Reasoning
by: Tan, Kwan Hong
Published: (2025)

Large Language Models' Reasoning Stalls: An Investigation into the Capabilities of Frontier Models
by: McGinness, Lachlan, et al.
Published: (2025)

JOURNALISTS' PERCEPTION OF THE USE OF ARTIFICIAL INTELLIGENCE, AI IN NEWS REPORTAGE IN IMO STATE
by: JULIAN, Chijioke Godswill & OHAEGBULAM, Nwakaego
Published: (2025)

Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving
by: Didolkar, Aniket, et al.
Published: (2024)

Tool-Augmented Hybrid Ensemble Reasoning with Distillation for Bilingual Mathematical Problem Solving
by: Lu, Peiqing, et al.
Published: (2025)

Diversity of Thought Elicits Stronger Reasoning Capabilities in Multi-Agent Debate Frameworks
by: Hegazy, Mahmood
Published: (2024)

Distilling Mathematical Reasoning Capabilities into Small Language Models
by: Zhu, Xunyu, et al.
Published: (2024)

RepoMirage: Probing Repository Context Reasoning in Code Agents with Perturbations
by: Li, Hanyu, et al.
Published: (2026)

Long-horizon Reasoning Agent for Olympiad-Level Mathematical Problem Solving
by: Gao, Songyang, et al.
Published: (2025)

Evaluation Faking: Unveiling Observer Effects in Safety Evaluation of Frontier AI Systems
by: Fan, Yihe, et al.
Published: (2025)

SecureVibeBench: Benchmarking Secure Vibe Coding of AI Agents via Reconstructing Vulnerability-Introducing Scenarios
by: Chen, Junkai, et al.
Published: (2025)

Vibe Medicine: Redefining Biomedical Research Through Human-AI Co-Work
by: Wu, Zihao, et al.
Published: (2026)

AI Mathematician as a Partner in Advancing Mathematical Discovery -- A Case Study in Homogenization Theory
by: Liu, Yuanhang, et al.
Published: (2025)

Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems
by: Feng, Tony, et al.
Published: (2026)

Professional Software Developers Don't Vibe, They Control: AI Agent Use for Coding in 2025
by: Huang, Ruanqianqian, et al.
Published: (2025)

VIBEPASS: Can Vibe Coders Really Pass the Vibe Check?
by: Bansal, Srijan, et al.
Published: (2026)

DeceptionBench: A Comprehensive Benchmark for AI Deception Behaviors in Real-world Scenarios
by: Huang, Yao, et al.
Published: (2025)

Logic-Regularized Verifier Elicits Reasoning from LLMs
by: Wang, Xinyu, et al.
Published: (2026)

Mitigating Overthinking in Large Reasoning Models via Manifold Steering
by: Huang, Yao, et al.
Published: (2025)

Markov Chain of Thought for Efficient Mathematical Reasoning
by: Yang, Wen, et al.
Published: (2024)

Evaluating Frontier LLMs on PhD-Level Mathematical Reasoning: A Benchmark on a Textbook in Theoretical Computer Science about Randomized Algorithms
by: Cao, Yang, et al.
Published: (2025)

Token-Supervised Value Models for Enhancing Mathematical Problem-Solving Capabilities of Large Language Models
by: Lee, Jung Hyun, et al.
Published: (2024)

Evaluating the Capability of Video Question Generation for Expert Knowledge Elicitation
by: Zhang, Huaying, et al.
Published: (2025)

A Survey of Multimodal Mathematical Reasoning: From Perception, Alignment to Reasoning
by: Yang, Tianyu, et al.
Published: (2026)