:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Liu, Yuanhang, Wang, Beichen, Li, Peng, Liu, Yang
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence
Online-Zugang:	https://arxiv.org/abs/2510.26380
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

AI Mathematician: Towards Fully Automated Frontier Mathematical Research
von: Liu, Yuanhang, et al.
Veröffentlicht: (2025)

Mathematicians in the age of AI
von: Avigad, Jeremy
Veröffentlicht: (2026)

Machine learning and information theory concepts towards an AI Mathematician
von: Bengio, Yoshua, et al.
Veröffentlicht: (2024)

LiveMathematicianBench: A Live Benchmark for Mathematician-Level Reasoning with Proof Sketches
von: He, Linyang, et al.
Veröffentlicht: (2026)

Black-box Prompt Tuning with Subspace Learning
von: Zheng, Yuanhang, et al.
Veröffentlicht: (2023)

When Does Multimodal AI Help? Diagnostic Complementarity of Vision-Language Models and CNNs for Spectrum Management in Satellite-Terrestrial Networks
von: Li, Yuanhang
Veröffentlicht: (2026)

Constructing a Neuro-Symbolic Mathematician from First Principles
von: Xie, Keqin
Veröffentlicht: (2025)

Large Language Models for Mathematicians
von: Frieder, Simon, et al.
Veröffentlicht: (2023)

When Adaptive Rewards Hurt: Causal Probing and the Switching-Stability Dilemma in LLM-Guided LEO Satellite Scheduling
von: Li, Yuanhang
Veröffentlicht: (2026)

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

InqEduAgent: Adaptive AI Learning Partners with Gaussian Process Augmentation
von: Yang, Wen-Xi, et al.
Veröffentlicht: (2025)

Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2026)

Budget-Constrained Tool Learning with Planning
von: Zheng, Yuanhang, et al.
Veröffentlicht: (2024)

Validated Intent Compilation for Constrained Routing in LEO Mega-Constellations
von: Li, Yuanhang
Veröffentlicht: (2026)

Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
von: Xia, Hai, et al.
Veröffentlicht: (2026)

Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI
von: Liang, Shizhe, et al.
Veröffentlicht: (2024)

UMoE: Unifying Attention and FFN with Shared Experts
von: Yang, Yuanhang, et al.
Veröffentlicht: (2025)

Vibe Reasoning: Eliciting Frontier AI Mathematical Capabilities -- A Case Study on IMO 2025 Problem 6
von: Wu, Jiaao, et al.
Veröffentlicht: (2025)

The Mathematician's Assistant: Integrating AI into Research Practice
von: Henkel, Jonas
Veröffentlicht: (2025)

The Lessons of Developing Process Reward Models in Mathematical Reasoning
von: Zhang, Zhenru, et al.
Veröffentlicht: (2025)

ProcessBench: Identifying Process Errors in Mathematical Reasoning
von: Zheng, Chujie, et al.
Veröffentlicht: (2024)

Imagine-then-Plan: Agent Learning from Adaptive Lookahead with World Models
von: Liu, Youwei, et al.
Veröffentlicht: (2026)

FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
von: Glazer, Elliot, et al.
Veröffentlicht: (2024)

AI Meets Mathematics Education: A Case Study on Supporting an Instructor in a Large Mathematics Class with Context-Aware AI
von: Barghorn, Jérémy, et al.
Veröffentlicht: (2026)

Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models
von: Guo, Dadi, et al.
Veröffentlicht: (2025)

Advanced Mathematics Learning Behavior Prediction and Academic Early Warning Model Based on Multimodal Data Analysis
von: Qiong, Liu, et al.
Veröffentlicht: (2026)

InteractiveSurvey: An LLM-based Personalized and Interactive Survey Paper Generation System
von: Wen, Zhiyuan, et al.
Veröffentlicht: (2025)

Intentmaking and Sensemaking: Human Interaction with AI-Guided Mathematical Discovery
von: Bäuerle, Alex, et al.
Veröffentlicht: (2026)

Challenging Mathematical Problems Designed to Evaluate Advanced AI Reasoning
von: Tan, Kwan Hong
Veröffentlicht: (2025)

SGSimEval: A Comprehensive Multifaceted and Similarity-Enhanced Benchmark for Automatic Survey Generation Systems
von: Guo, Beichen, et al.
Veröffentlicht: (2025)

AI-accelerated Discovery of Altermagnetic Materials
von: Gao, Ze-Feng, et al.
Veröffentlicht: (2023)

MGCBS: An Optimal and Efficient Algorithm for Solving Multi-Goal Multi-Agent Path Finding Problem
von: Tang, Mingkai, et al.
Veröffentlicht: (2024)

JiuZhang3.0: Efficiently Improving Mathematical Reasoning by Training Small Data Synthesis Models
von: Zhou, Kun, et al.
Veröffentlicht: (2024)

EvolMathEval: Towards Evolvable Benchmarks for Mathematical Reasoning via Evolutionary Testing
von: Wang, Shengbo, et al.
Veröffentlicht: (2025)

A Survey on Large Language Models for Mathematical Reasoning
von: Wang, Peng-Yuan, et al.
Veröffentlicht: (2025)

Can Large Models Teach Student Models to Solve Mathematical Problems Like Human Beings? A Reasoning Distillation Method via Multi-LoRA Interaction
von: Li, Xinhe, et al.
Veröffentlicht: (2025)

Human-AI Co-Embodied Intelligence for Scientific Experimentation and Manufacturing
von: Lin, Xinyi, et al.
Veröffentlicht: (2025)

Camera Artist: A Multi-Agent Framework for Cinematic Language Storytelling Video Generation
von: Hu, Haobo, et al.
Veröffentlicht: (2026)

SR-Scientist: Scientific Equation Discovery With Agentic AI
von: Xia, Shijie, et al.
Veröffentlicht: (2025)

Enabling Intelligent Interactions between an Agent and an LLM: A Reinforcement Learning Approach
von: Hu, Bin, et al.
Veröffentlicht: (2023)