$Image de couverture de livre$

We-Math: Does Your Large Multimodal Model Achieve Human-like Mathematical Reasoning?

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Qiao, Runqi, Tan, Qiuna, Dong, Guanting, Wu, Minhui, Sun, Chong, Song, Xiaoshuai, GongQue, Zhuoma, Lei, Shanglin, Wei, Zhe, Zhang, Miaoxuan, Qiao, Runfeng, Zhang, Yifan, Zong, Xiao, Xu, Yida, Diao, Muxi, Bao, Zhimin, Li, Chen, Zhang, Honggang
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence Computation and Language Computer Vision and Pattern Recognition Machine Learning Symbolic Computation
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Multi-Dimensional Insights: Benchmarking Real-World Personalization in Large Multimodal Models
par: Zhang, YiFan, et autres
Publié: (2024)

CS-Bench: A Comprehensive Benchmark for Large Language Models towards Computer Science Mastery
par: Song, Xiaoshuai, et autres
Publié: (2024)

Algebraic and Arithmetic Attributes of Hypergeometric Functions in SageMath
par: Caruso, Xavier, et autres
Publié: (2026)

We-Math 2.0: A Versatile MathBook System for Incentivizing Visual Mathematical Reasoning
par: Qiao, Runqi, et autres
Publié: (2025)

Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution
par: Wang, Rui, et autres
Publié: (2026)

A SageMath Package for Analytic Combinatorics in Several Variables: Beyond the Smooth Case
par: Hackl, Benjamin, et autres
Publié: (2025)

A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks
par: Aichmayr, Marcus S., et autres
Publié: (2024)

Using Java Geometry Expert as Guide in the Preparations for Math Contests
par: Ganglmayr, Ines, et autres
Publié: (2024)

Vector-Symbolic Architecture for Event-Based Optical Flow
par: You, Hongzhi, et autres
Publié: (2024)

LawMind: A Law-Driven Paradigm for Discovering Analytical Solutions to Partial Differential Equations
par: Zheng, Min-Yi, et autres
Publié: (2026)

A Knowledge Graph Informing Soil Carbon Modeling
par: Shirvani-Mahdavi, Nasim, et autres
Publié: (2025)

Visual Set Program Synthesizer
par: Cheng, Zehua, et autres
Publié: (2026)

A Novel Approach to the Initial Value Problem with a complete validated algorithm
par: Zhang, Bingwei, et autres
Publié: (2025)

Faster multivariate integration in D-modules
par: Brochet, Hadrien, et autres
Publié: (2025)

How to generate all possible rational Wilf-Zeilberger forms?
par: Chen, Shaoshi, et autres
Publié: (2024)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
par: Böhmer, Christian G., et autres
Publié: (2025)

Consequences of the Moosbauer-Poole Algorithms
par: Kauers, Manuel, et autres
Publié: (2025)

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
par: Finkelstein, Edward
Publié: (2025)

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
par: Stübbe, Jonas, et autres
Publié: (2025)

Solving parametric polynomial systems using Generic Rational Univariate Representation
par: Corniquel, Florent
Publié: (2026)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
par: Wang, Zhonghan
Publié: (2024)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
par: Chen, Shaoshi, et autres
Publié: (2025)

More is Less: Adding Polynomials for Faster Explanations in NLSAT
par: Promies, Valentin, et autres
Publié: (2025)

A Generalisation of Goursat's Algorithm for Integration in Finite Terms
par: Blake, Sam
Publié: (2026)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
par: Hofstadler, Clemens, et autres
Publié: (2026)

Meta Flip Graph meets Serendipitous Product: new Fast Matrix Multiplication results
par: Perminov, A. I.
Publié: (2026)

Computational Explorations on Semifields
par: Dumas, Jean-Guillaume, et autres
Publié: (2026)

Faster modular composition using two relation matrices
par: Neiger, Vincent, et autres
Publié: (2026)

Order Bounds for Hypergeometric and q-Hypergeometric Creative Telescoping
par: Huang, Hui
Publié: (2026)

Connectivity in Symmetric Semi-Algebraic Sets
par: Riener, Cordian, et autres
Publié: (2024)

Semantics of Division for Polynomial Solvers
par: Brown, Christopher W.
Publié: (2024)

Generalized ODE reduction algorithm for bounded degree transformation
par: Huang, Shaoxuan
Publié: (2025)

Generalized ODE reduction algorithm with bounded degree transformation
par: Huang, Shaoxuan
Publié: (2025)

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
par: Nalbach, Jasper, et autres
Publié: (2025)

Positivity Proofs for Linear Recurrences through Contracted Cones
par: Ibrahim, Alaa, et autres
Publié: (2024)

Certifying Phase Abstraction
par: Froleyks, Nils, et autres
Publié: (2024)

On Exact Reznick, Hilbert-Artin and Putinar's Representations
par: Magron, Victor, et autres
Publié: (2018)

An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
par: Sakata, Kosuke, et autres
Publié: (2025)

An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
par: Qin, Simin, et autres
Publié: (2024)

Symmetric Division of Linear Ordinary Differential Operators
par: Du, Lixin, et autres
Publié: (2025)