Cover Image

Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liu, Xiaoyang, Dong, Zineng, Bai, Yifan, Li, Yantao, Liu, Yuntian, Luo, Tao
Format:	Preprint
Published:	2026
Subjects:	Machine Learning Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ASSESS: A Semantic and Structural Evaluation Framework for Statement Similarity
by: Liu, Xiaoyang, et al.
Published: (2025)

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization
by: Liu, Yuntian, et al.
Published: (2025)

ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
by: Liu, Xiaoyang, et al.
Published: (2025)

VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation
by: Bai, Yifan, et al.
Published: (2026)

AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems
by: Motwani, Sumeet Ramesh, et al.
Published: (2026)

Empowering Machines to Think Like Chemists: Unveiling Molecular Structure-Polarity Relationships with Hierarchical Symbolic Regression
by: Lou, Siyu, et al.
Published: (2024)

Explainable Diagnosis Prediction through Neuro-Symbolic Integration
by: Lu, Qiuhao, et al.
Published: (2024)

Neuro-Symbolic Rule Lists
by: Xu, Sascha, et al.
Published: (2024)

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

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

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

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

Operator Feature Neural Network for Symbolic Regression
by: Deng, Yusong, et al.
Published: (2024)

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
by: Marconato, Emanuele, et al.
Published: (2025)

Autoformalizing Euclidean Geometry
by: Murphy, Logan, et al.
Published: (2024)

MathAtlas: A Benchmark for Autoformalization in the Wild
by: Patel, Nilay, et al.
Published: (2026)

A Neuro-Symbolic Framework for Answering Graph Pattern Queries in Knowledge Graphs
by: Cucumides, Tamara, et al.
Published: (2023)

Neuro-Symbolic AI: Explainability, Challenges, and Future Trends
by: Zhang, Xin, et al.
Published: (2024)

Bridging the Gap: Representation Spaces in Neuro-Symbolic AI
by: Zhang, Xin, et al.
Published: (2024)

Simple and Effective Transfer Learning for Neuro-Symbolic Integration
by: Daniele, Alessandro, et al.
Published: (2024)

The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning
by: Cunnington, Daniel, et al.
Published: (2024)

Neuro-Symbolic Imitation Learning: Discovering Symbolic Abstractions for Skill Learning
by: Keller, Leon, et al.
Published: (2025)

Logically Consistent Language Models via Neuro-Symbolic Integration
by: Calanzone, Diego, et al.
Published: (2024)

Imperative Learning: A Self-supervised Neuro-Symbolic Learning Framework for Robot Autonomy
by: Wang, Chen, et al.
Published: (2024)

BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts
by: Marconato, Emanuele, et al.
Published: (2024)

GRAIL: Autonomous Concept Grounding for Neuro-Symbolic Reinforcement Learning
by: Shindo, Hikaru, et al.
Published: (2026)

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

A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic
by: Cotnareanu, Joseph, et al.
Published: (2026)

Neuro-Symbolic Decoding of Neural Activity
by: Wang, Yanchen, et al.
Published: (2026)

Chimera: Neuro-Symbolic Attention Primitives for Trustworthy Dataplane Intelligence
by: Fu, Rong, et al.
Published: (2026)

Cognitive Load-Aware Inference: A Neuro-Symbolic Framework for Optimizing the Token Economy of Large Language Models
by: Zhang, Yilun
Published: (2025)

Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning
by: Singireddy, Suraj, et al.
Published: (2023)

Advanced Weakly-Supervised Formula Exploration for Neuro-Symbolic Mathematical Reasoning
by: Wu, Yuxuan, et al.
Published: (2025)

The KANDY Benchmark: Incremental Neuro-Symbolic Learning and Reasoning with Kandinsky Patterns
by: Lorello, Luca Salvatore, et al.
Published: (2024)

A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
by: Bortolotti, Samuele, et al.
Published: (2024)

Reliable Evaluation and Benchmarks for Statement Autoformalization
by: Poiroux, Auguste, et al.
Published: (2024)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
by: Cornelio, Cristina, et al.
Published: (2024)

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

Formal Explanations for Neuro-Symbolic AI
by: Paul, Sushmita, et al.
Published: (2024)

NSFlow: An End-to-End FPGA Framework with Scalable Dataflow Architecture for Neuro-Symbolic AI
by: Yang, Hanchen, et al.
Published: (2025)