Image de couverture de livre

Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Liang, Shizhe, Zhang, Wei, Zhong, Tianyang, Liu, Tianming
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

DeepMath-Creative: A Benchmark for Evaluating Mathematical Creativity of Large Language Models
par: Chen, Xiaoyang, et autres
Publié: (2025)

Elementary School Students' and Teachers' Perceptions Towards Creative Mathematical Writing with Generative AI
par: Song, Yukyeong, et autres
Publié: (2024)

A Survey of Multimodal Mathematical Reasoning: From Perception, Alignment to Reasoning
par: Yang, Tianyu, et autres
Publié: (2026)

A Survey on Large Language Models for Mathematical Reasoning
par: Wang, Peng-Yuan, et autres
Publié: (2025)

LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages
par: Huang, Xuhan, et autres
Publié: (2024)

MultiMath: Bridging Visual and Mathematical Reasoning for Large Language Models
par: Peng, Shuai, et autres
Publié: (2024)

Assessing the Creativity of LLMs in Proposing Novel Solutions to Mathematical Problems
par: Ye, Junyi, et autres
Publié: (2024)

LLMs can Realize Combinatorial Creativity: Generating Creative Ideas via LLMs for Scientific Research
par: Gu, Tianyang, et autres
Publié: (2024)

A Survey on Feedback-based Multi-step Reasoning for Large Language Models on Mathematics
par: Wei, Ting-Ruen, et autres
Publié: (2025)

AI Mathematician: Towards Fully Automated Frontier Mathematical Research
par: Liu, Yuanhang, et autres
Publié: (2025)

Mathematical Computation and Reasoning Errors by Large Language Models
par: Zhang, Liang, et autres
Publié: (2025)

A Survey on Mathematical Reasoning and Optimization with Large Language Models
par: Forootani, Ali
Publié: (2025)

The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning
par: Zimmer, Max, et autres
Publié: (2026)

Creativity and Machine Learning: A Survey
par: Franceschelli, Giorgio, et autres
Publié: (2021)

Shaping the Future of Mathematics in the Age of AI
par: Commelin, Johan, et autres
Publié: (2026)

Mathematics and Coding are Universal AI Benchmarks
par: Chojecki, Przemyslaw
Publié: (2025)

Lectures on AI for Mathematics
par: Chen, Xiaoyang, et autres
Publié: (2026)

Mathematical Explanations
par: Halpern, Joseph Y.
Publié: (2023)

AI Mathematician as a Partner in Advancing Mathematical Discovery -- A Case Study in Homogenization Theory
par: Liu, Yuanhang, et autres
Publié: (2025)

FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
par: Glazer, Elliot, et autres
Publié: (2024)

Is Mathematical Problem-Solving Expertise in Large Language Models Associated with Assessment Performance?
par: Zhang, Liang, et autres
Publié: (2026)

VCSearch: Bridging the Gap Between Well-Defined and Ill-Defined Problems in Mathematical Reasoning
par: Tian, Shi-Yu, et autres
Publié: (2024)

CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
par: Liu, Junqi, et autres
Publié: (2025)

SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training
par: Meidani, Kazem, et autres
Publié: (2023)

A Unified Geometric Space Bridging AI Models and the Human Brain
par: Chen, Silin, et autres
Publié: (2025)

What Machine Learning Tells Us About the Mathematical Structure of Concepts
par: Otsuka, Jun
Publié: (2024)

A Mathematical Theory of Agency and Intelligence
par: Hafez, Wael, et autres
Publié: (2026)

Formalizing Mathematics at Scale
par: Rammal, Ahmad, et autres
Publié: (2026)

Machine Psychometrics: A Mathematical Psychology of Artificial Intelligence
par: Bogdan, Alex, et autres
Publié: (2026)

ModelingAgent: Bridging LLMs and Mathematical Modeling for Real-World Challenges
par: Qian, Cheng, et autres
Publié: (2025)

Examining False Positives under Inference Scaling for Mathematical Reasoning
par: Wang, Yu, et autres
Publié: (2025)

From Implicit to Explicit: Token-Efficient Logical Supervision for Mathematical Reasoning in LLMs
par: Wang, Shaojie, et autres
Publié: (2026)

CORE: Concept-Oriented Reinforcement for Bridging the Definition-Application Gap in Mathematical Reasoning
par: Gao, Zijun, et autres
Publié: (2025)

Is Mathematics Obsolete?
par: Avigad, Jeremy
Publié: (2025)

Bias-Restrained Prefix Representation Finetuning for Mathematical Reasoning
par: Liang, Sirui, et autres
Publié: (2025)

MathChat: Benchmarking Mathematical Reasoning and Instruction Following in Multi-Turn Interactions
par: Liang, Zhenwen, et autres
Publié: (2024)

Skywork-Math: Data Scaling Laws for Mathematical Reasoning in Large Language Models -- The Story Goes On
par: Zeng, Liang, et autres
Publié: (2024)

AI Meets Mathematics Education: A Case Study on Supporting an Instructor in a Large Mathematics Class with Context-Aware AI
par: Barghorn, Jérémy, et autres
Publié: (2026)

FlaKat: A Machine Learning-Based Categorization Framework for Flaky Tests
par: Lin, Shizhe, et autres
Publié: (2024)

Making Mathematical Reasoning Adaptive
par: Lai, Zhejian, et autres
Publié: (2025)