$Imagen de Portada$

Neuro-Symbolic Data Generation for Math Reasoning

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Li, Zenan, Zhou, Zhi, Yao, Yuan, Li, Yu-Feng, Cao, Chun, Yang, Fan, Zhang, Xian, Ma, Xiaoxing
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Softened Symbol Grounding for Neuro-symbolic Systems
por: Li, Zenan, et al.
Publicado: (2024)

Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
por: He, Baoding, et al.
Publicado: (2026)

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
por: Li, Zenan, et al.
Publicado: (2025)

A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning
por: Zhou, Zhi, et al.
Publicado: (2025)

Bridging Internal Probability and Self-Consistency for Effective and Efficient LLM Reasoning
por: Zhou, Zhi, et al.
Publicado: (2025)

Neuro-symbolic Learning Yielding Logical Constraints
por: Li, Zenan, et al.
Publicado: (2024)

NeSyGeo: A Neuro-Symbolic Framework for Multimodal Geometric Reasoning Data Generation
por: Wu, Weiming, et al.
Publicado: (2025)

Learning to Disprove: Formal Counterexample Generation with Large Language Models
por: Li, Zenan, et al.
Publicado: (2026)

Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection
por: Hu, Wen-Chao, et al.
Publicado: (2024)

Task Abstention for Large Language Models in Code Generation
por: Zhou, Yanke, et al.
Publicado: (2026)

FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
por: Yang, Xiao-Wen, et al.
Publicado: (2025)

Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models
por: Yang, Xiao-Wen, et al.
Publicado: (2025)

Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning
por: Zhang, Xuan, et al.
Publicado: (2025)

NeSy-Route: A Neuro-Symbolic Benchmark for Constrained Route Planning in Remote Sensing
por: Yang, Ming, et al.
Publicado: (2026)

Uncertainty Quantification for LLM-based Code Generation
por: Xu, Senrong, et al.
Publicado: (2026)

TabularMath: Understanding Math Reasoning over Tables with Large Language Models
por: Tian, Shi-Yu, et al.
Publicado: (2025)

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
por: Cao, Chenrui, et al.
Publicado: (2025)

Compositional Neuro-Symbolic Reasoning
por: Das, Anugyan, et al.
Publicado: (2026)

Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees
por: Tao, Lue, et al.
Publicado: (2023)

Neuro-Symbolic Verification on Instruction Following of LLMs
por: Su, Yiming, et al.
Publicado: (2026)

A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data
por: Pojer, Raffaele, et al.
Publicado: (2025)

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
por: Wu, Yanrui, et al.
Publicado: (2026)

Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
por: Yang, Sen, et al.
Publicado: (2023)

Learning with Logical Constraints but without Shortcut Satisfaction
por: Li, Zenan, et al.
Publicado: (2024)

Neuro-Symbolic Entity Alignment via Variational Inference
por: Chen, Shengyuan, et al.
Publicado: (2024)

A Learnability Analysis on Neuro-Symbolic Learning
por: He, Hao-Yuan, et al.
Publicado: (2025)

Toward Auditable Neuro-Symbolic Reasoning in Pathology: SQL as an Explicit Trace of Evidence
por: Cao, Kewen, et al.
Publicado: (2026)

NeuroSymActive: Differentiable Neural-Symbolic Reasoning with Active Exploration for Knowledge Graph Question Answering
por: Fu, Rong, et al.
Publicado: (2026)

Learning for Long-Horizon Planning via Neuro-Symbolic Abductive Imitation
por: Shao, Jie-Jing, et al.
Publicado: (2024)

Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
por: Jia, Lin-Han, et al.
Publicado: (2025)

Federated Neuro-Symbolic Learning
por: Xing, Pengwei, et al.
Publicado: (2023)

A Neuro-Symbolic Framework for Reasoning under Perceptual Uncertainty: Bridging Continuous Perception and Discrete Symbolic Planning
por: Wu, Jiahao, et al.
Publicado: (2025)

End-to-End Neuro-Symbolic Reinforcement Learning with Textual Explanations
por: Luo, Lirui, et al.
Publicado: (2024)

IFDNS: An Iterative Feedback-Driven Neuro-Symbolic Method for Faithful Logical Reasoning
por: Wang, Xiaoheng, et al.
Publicado: (2026)

Sandra -- A Neuro-Symbolic Reasoner Based On Descriptions And Situations
por: Lazzari, Nicolas, et al.
Publicado: (2024)

Reliable Classroom AI via Neuro-Symbolic Multimodal Reasoning
por: Nezhad, Sina Bagheri
Publicado: (2026)

Human-Inspired Neuro-Symbolic World Modeling and Logic Reasoning for Interpretable Safe UAV Landing Site Assessment
por: Qian, Weixian, et al.
Publicado: (2025)

FormalJudge: A Neuro-Symbolic Paradigm for Agentic Oversight
por: Zhou, Jiayi, et al.
Publicado: (2026)

Modeling Endogenous Logic: Causal Neuro-Symbolic Reasoning Model for Explainable Multi-Behavior Recommendation
por: Chen, Yuzhe, et al.
Publicado: (2026)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
por: Zhang, Liao, et al.
Publicado: (2026)