Image de couverture de livre

Constructing a Neuro-Symbolic Mathematician from First Principles

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Xie, Keqin
Format:	Preprint
Publié:	2025
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

Mathematicians in the age of AI
par: Avigad, Jeremy
Publié: (2026)

Compositional Neuro-Symbolic Reasoning
par: Das, Anugyan, et autres
Publié: (2026)

Federated Neuro-Symbolic Learning
par: Xing, Pengwei, et autres
Publié: (2023)

Assured Autonomy with Neuro-Symbolic Perception
par: Hallyburton, R. Spencer, et autres
Publié: (2025)

Neuro-Symbolic AI for Military Applications
par: Hagos, Desta Haileselassie, et autres
Publié: (2024)

LiveMathematicianBench: A Live Benchmark for Mathematician-Level Reasoning with Proof Sketches
par: He, Linyang, et autres
Publié: (2026)

Neuro-Symbolic Rule Lists
par: Xu, Sascha, et autres
Publié: (2024)

Neuro-Symbolic Verification on Instruction Following of LLMs
par: Su, Yiming, et autres
Publié: (2026)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
par: Derkinderen, Vincent, et autres
Publié: (2024)

Neuro-Symbolic Data Generation for Math Reasoning
par: Li, Zenan, et autres
Publié: (2024)

A Semantic Framework for Neuro-Symbolic Computing
par: Odense, Simon, et autres
Publié: (2022)

LPC-SM: Local Predictive Coding and Sparse Memory for Long-Context Language Modeling
par: Xie, Keqin
Publié: (2026)

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

Machine learning and information theory concepts towards an AI Mathematician
par: Bengio, Yoshua, et autres
Publié: (2024)

LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation
par: Li, Bowen, et autres
Publié: (2024)

Taxonomic Networks: A Representation for Neuro-Symbolic Pairing
par: Wang, Zekun, et autres
Publié: (2025)

Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning
par: Zhang, Xuan, et autres
Publié: (2025)

Neuro-Symbolic AI in 2024: A Systematic Review
par: Colelough, Brandon C., et autres
Publié: (2025)

A Challenge to Build Neuro-Symbolic Video Agents
par: Shah, Sahil, et autres
Publié: (2025)

Declarative Design of Neural Predicates in Neuro-Symbolic Systems
par: Hinnerichs, Tilman, et autres
Publié: (2024)

Neuro-Symbolic Entity Alignment via Variational Inference
par: Chen, Shengyuan, et autres
Publié: (2024)

Large Language Models for Mathematicians
par: Frieder, Simon, et autres
Publié: (2023)

Neuro-Symbolic Learning of Answer Set Programs from Raw Data
par: Cunnington, Daniel, et autres
Publié: (2022)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
par: Alhessi, Yousef, et autres
Publié: (2025)

An Agentic Framework for Neuro-Symbolic Programming
par: Nafar, Aliakbar, et autres
Publié: (2026)

AXIOM: A Trust-First Neuro-Symbolic Execution Architecture for Verifiable Mathematical Reasoning
par: Bruno, Alessio
Publié: (2026)

A Learnability Analysis on Neuro-Symbolic Learning
par: He, Hao-Yuan, et autres
Publié: (2025)

Softened Symbol Grounding for Neuro-symbolic Systems
par: Li, Zenan, et autres
Publié: (2024)

Aligning Progress and Feasibility: A Neuro-Symbolic Dual Memory Framework for Long-Horizon LLM Agents
par: Wen, Bin, et autres
Publié: (2026)

A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification
par: Manginas, Vasileios, et autres
Publié: (2025)

Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
par: Jia, Lin-Han, et autres
Publié: (2025)

A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectives
par: Hossain, Delower, et autres
Publié: (2025)

A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data
par: Pojer, Raffaele, et autres
Publié: (2025)

Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
par: He, Baoding, et autres
Publié: (2026)

Reliable Classroom AI via Neuro-Symbolic Multimodal Reasoning
par: Nezhad, Sina Bagheri
Publié: (2026)

Sandra -- A Neuro-Symbolic Reasoner Based On Descriptions And Situations
par: Lazzari, Nicolas, et autres
Publié: (2024)

FormalJudge: A Neuro-Symbolic Paradigm for Agentic Oversight
par: Zhou, Jiayi, et autres
Publié: (2026)

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
par: Daggitt, Matthew L., et autres
Publié: (2024)

End-to-End Neuro-Symbolic Reinforcement Learning with Textual Explanations
par: Luo, Lirui, et autres
Publié: (2024)

Bayesian Inverse Physics for Neuro-Symbolic Robot Learning
par: Arriaga, Octavio, et autres
Publié: (2025)