:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Liu, Yuanhang, Huang, Yanxing, Wang, Yanqiao, Li, Peng, Liu, Yang
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2505.22451
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Mathematicians in the age of AI
by: Avigad, Jeremy
Published: (2026)

Pessimistic Verification for Open Ended Math Questions
by: Huang, Yanxing, et al.
Published: (2025)

FormaRL: Enhancing Autoformalization with no Labeled Data
by: Huang, Yanxing, et al.
Published: (2025)

Machine learning and information theory concepts towards an AI Mathematician
by: Bengio, Yoshua, et al.
Published: (2024)

Black-box Prompt Tuning with Subspace Learning
by: Zheng, Yuanhang, et al.
Published: (2023)

AutoResearch AI: Towards AI-Powered Research Automation for Scientific Discovery
by: Tie, Guiyao, et al.
Published: (2026)

The Mathematician's Assistant: Integrating AI into Research Practice
by: Henkel, Jonas
Published: (2025)

LiveMathematicianBench: A Live Benchmark for Mathematician-Level Reasoning with Proof Sketches
by: He, Linyang, et al.
Published: (2026)

The \emph{Optimist}: Towards Fully Automated Graph Theory Research
by: Davila, Randy
Published: (2024)

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

Budget-Constrained Tool Learning with Planning
by: Zheng, Yuanhang, et al.
Published: (2024)

Towards Fully Automated Decision-Making Systems for Greenhouse Control: Challenges and Opportunities
by: Liu, Yongshuai, et al.
Published: (2025)

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

LLM-BI: Towards Fully Automated Bayesian Inference with Large Language Models
by: Huang, Yongchao
Published: (2025)

Large Language Models for Mathematicians
by: Frieder, Simon, et al.
Published: (2023)

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

Comparative Analysis of Deep Learning Strategies for Hypertensive Retinopathy Detection from Fundus Images: From Scratch and Pre-trained Models
by: Zhu, Yanqiao
Published: (2025)

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

ResearcherBench: Evaluating Deep AI Research Systems on the Frontiers of Scientific Inquiry
by: Xu, Tianze, et al.
Published: (2025)

Constructing a Neuro-Symbolic Mathematician from First Principles
by: Xie, Keqin
Published: (2025)

The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery
by: Lu, Chris, et al.
Published: (2024)

Towards Execution-Grounded Automated AI Research
by: Si, Chenglei, et al.
Published: (2026)

Automating Traffic Model Enhancement with AI Research Agent
by: Guo, Xusen, et al.
Published: (2024)

EvolMathEval: Towards Evolvable Benchmarks for Mathematical Reasoning via Evolutionary Testing
by: Wang, Shengbo, et al.
Published: (2025)

Towards Data Governance of Frontier AI Models
by: Hausenloy, Jason, et al.
Published: (2024)

Validated Intent Compilation for Constrained Routing in LEO Mega-Constellations
by: Li, Yuanhang
Published: (2026)

A 3DGS-Diffusion Self-Supervised Framework for Normal Estimation from a Single Image
by: Liang, Yanxing, et al.
Published: (2025)

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

Enhance Then Search: An Augmentation-Search Strategy with Foundation Models for Cross-Domain Few-Shot Object Detection
by: Pan, Jiancheng, et al.
Published: (2025)

UMoE: Unifying Attention and FFN with Shared Experts
by: Yang, Yuanhang, et al.
Published: (2025)

Agent-Environment Alignment via Automated Interface Generation
by: Liu, Kaiming, et al.
Published: (2025)

Dominion: A New Frontier for AI Research
by: Halawi, Danny, et al.
Published: (2024)

RAT: RunAnyThing via Fully Automated Environment Configuration
by: Huang, Renhong, et al.
Published: (2026)

Towards Autonomous Mathematics Research
by: Feng, Tony, et al.
Published: (2026)

AIGS: Generating Science from AI-Powered Automated Falsification
by: Liu, Zijun, et al.
Published: (2024)

Curie: Toward Rigorous and Automated Scientific Experimentation with AI Agents
by: Kon, Patrick Tser Jern, et al.
Published: (2025)

Towards Safe Multilingual Frontier AI
by: Kanepajs, Artūrs, et al.
Published: (2024)

Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI
by: Liang, Shizhe, et al.
Published: (2024)

K-Dense Analyst: Towards Fully Automated Scientific Analysis
by: Li, Orion, et al.
Published: (2025)