$Copertina$

Solving Formal Math Problems by Decomposition and Iterative Reflection

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhou, Yichi, Zhao, Jianqiu, Zhang, Yongxin, Wang, Bohan, Wang, Siran, Chen, Luoxin, Wang, Jiahui, Chen, Haowei, Jie, Allan, Zhang, Xinbo, Wang, Haocheng, Trung, Luong, Ye, Rong, Hoang, Phan Nhat, Zhang, Huishuai, Sun, Peng, Li, Hang
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Machine Learning Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
di: Chen, Luoxin, et al.
Pubblicazione: (2026)

AdamS: Momentum Itself Can Be A Normalizer for LLM Pretraining and Post-training
di: Zhang, Huishuai, et al.
Pubblicazione: (2025)

Evidence-Enhanced Triplet Generation Framework for Hallucination Alleviation in Generative Question Answering
di: Du, Haowei, et al.
Pubblicazione: (2024)

Quantum Kaczmarz Algorithm for Solving Linear Algebraic Equations
di: Nghiem, Nhat A., et al.
Pubblicazione: (2026)

Gradient Descent with Polyak's Momentum Finds Flatter Minima via Large Catapults
di: Phunyaphibarn, Prin, et al.
Pubblicazione: (2023)

On the Convergence of Adam under Non-uniform Smoothness: Separability from SGDM and Beyond
di: Wang, Bohan, et al.
Pubblicazione: (2024)

Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability
di: Wang, Ruida, et al.
Pubblicazione: (2025)

Fractatomic Physics: An Invitation with Atomic Stability and Rydberg States in Fractal Spaces
di: Nghiem, Nhat A., et al.
Pubblicazione: (2025)

Beyond Fixed Benchmarks and Worst-Case Attacks: Dynamic Boundary Evaluation for Language Models
di: Wang, Haoxiang, et al.
Pubblicazione: (2026)

OLion: Approaching the Hadamard Ideal by Intersecting Spectral and $\ell_{\infty}$ Implicit Biases
di: Wang, Zixiao, et al.
Pubblicazione: (2026)

FANS -- Formal Answer Selection for Natural Language Math Reasoning Using Lean4
di: Yao, Jiarui, et al.
Pubblicazione: (2025)

Iterative Formalization and Planning in Partially Observable Environments
di: Gong, Liancheng, et al.
Pubblicazione: (2025)

From Hand-Crafted Metrics to Evolved Training-Free Performance Predictors for Neural Architecture Search via Genetic Programming
di: Phan, Quan Minh, et al.
Pubblicazione: (2025)

Solving Math Word Problems via Cooperative Reasoning induced Language Models
di: Zhu, Xinyu, et al.
Pubblicazione: (2022)

DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving
di: Tong, Yuxuan, et al.
Pubblicazione: (2024)

Sora and V-JEPA Have Not Learned The Complete Real World Model -- A Philosophical Analysis of Video AIs Through the Theory of Productive Imagination
di: Zhang, Jianqiu
Pubblicazione: (2024)

ReFT: Reasoning with Reinforced Fine-Tuning
di: Luong, Trung Quoc, et al.
Pubblicazione: (2024)

De-Anonymization at Scale via Tournament-Style Attribution
di: Zhang, Lirui, et al.
Pubblicazione: (2026)

From Coordinates to Context: An LLM-Bootstrapped Semantic Encoding Framework for Privacy-Preserving Mobile Sensing Stress Recognition
di: Phan, Hoang Khang, et al.
Pubblicazione: (2025)

Epistemic Gain, Aleatoric Cost: Uncertainty Decomposition in Multi-Agent Debate for Math Reasoning
di: Qiao, Dan, et al.
Pubblicazione: (2026)

UMOEA/D: A Multiobjective Evolutionary Algorithm for Uniform Pareto Objectives based on Decomposition
di: Zhang, Xiaoyuan, et al.
Pubblicazione: (2024)

Integrating Visual Interpretation and Linguistic Reasoning for Math Problem Solving
di: Guo, Zixian, et al.
Pubblicazione: (2025)

Synthesize Privacy-Preserving High-Resolution Images via Private Textual Intermediaries
di: Wang, Haoxiang, et al.
Pubblicazione: (2025)

ProactiveVideoQA: A Comprehensive Benchmark Evaluating Proactive Interactions in Video Large Language Models
di: Wang, Yueqian, et al.
Pubblicazione: (2025)

Understanding Multimodal Hallucination with Parameter-Free Representation Alignment
di: Wang, Yueqian, et al.
Pubblicazione: (2024)

IterIS: Iterative Inference-Solving Alignment for LoRA Merging
di: Chen, Hongxu, et al.
Pubblicazione: (2024)

GeoMathCode: Understanding Interleaved Math-Code Reasoning for Geometry Problem Solving
di: Zhang, Yingji, et al.
Pubblicazione: (2026)

Understanding Nonlinear Implicit Bias via Region Counts in Input Space
di: Li, Jingwei, et al.
Pubblicazione: (2025)

Synergistic S···O and S···H Conformational Locks for Planarity‐Enhanced NIR‐II Phototheranostics
di: Jiuhui Zhang, et al.
Pubblicazione: (2025)

Topological Charge Tunable High‐Purity Vortex Fiber Laser (Laser Photonics Rev. 20(2)/2026)
di: Enlin Cai, et al.
Pubblicazione: (2026)

Can high‐power lasers photobiomodulation therapy alleviate the pain of refractory oral mucositis?
di: Qian Wang, et al.
Pubblicazione: (2024)

Photobiomodulation relieves immediate pain in patients with burning mouth syndrome
di: Qian Wang, et al.
Pubblicazione: (2024)

A Unified Framework of Bond-Associated Peridynamic Material Correspondence Models
di: Hu, Xuan, et al.
Pubblicazione: (2024)

Rethinking the Role of Temperature in Large Language Model Distillation
di: Luong, Hoang-Chau, et al.
Pubblicazione: (2026)

Why LoRA Fails to Forget: Regularized Low-Rank Adaptation Against Backdoors in Language Models
di: Luong, Hoang-Chau, et al.
Pubblicazione: (2026)

A Tool for Semantic-Aware Spatial Corpus Construction
di: Huang, Wei, et al.
Pubblicazione: (2026)

Provable Adaptivity of Adam under Non-uniform Smoothness
di: Wang, Bohan, et al.
Pubblicazione: (2022)

ChatGLM-Math: Improving Math Problem-Solving in Large Language Models with a Self-Critique Pipeline
di: Xu, Yifan, et al.
Pubblicazione: (2024)

ChatGPT as a Math Questioner? Evaluating ChatGPT on Generating Pre-university Math Questions
di: Van Long, Phuoc Pham, et al.
Pubblicazione: (2023)

Can Vision-Language Models Solve Visual Math Equations?
di: Choudhury, Monjoy Narayan, et al.
Pubblicazione: (2025)