:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zhou, Hao, Sourav, Suman, Chen, Binbin, Yu, Ke
Format:	Preprint
Published:	2025
Subjects:	Machine Learning
Online Access:	https://arxiv.org/abs/2512.11298
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Boolformer: Symbolic Regression of Logic Functions with Transformers
by: d'Ascoli, Stéphane, et al.
Published: (2023)

Learning Interpretable Differentiable Logic Networks for Tabular Regression
by: Yue, Chang, et al.
Published: (2025)

Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
by: Bonin, Lorenzo, et al.
Published: (2026)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
by: Flinkow, Thomas, et al.
Published: (2026)

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

Abductive Logical Rule Induction by Bridging Inductive Logic Programming and Multimodal Large Language Models
by: Peng, Yifei, et al.
Published: (2025)

SPINEX_ Symbolic Regression: Similarity-based Symbolic Regression with Explainable Neighbors Exploration
by: Naser, MZ, et al.
Published: (2024)

Scalable Neural Symbolic Regression using Control Variables
by: Chu, Xieting, et al.
Published: (2023)

Beyond Neural Networks: Symbolic Reasoning over Wavelet Logic Graph Signals
by: Kiruluta, Andrew, et al.
Published: (2025)

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

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
by: He, Haoyuan, et al.
Published: (2022)

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference
by: Patrascu, Andrei T.
Published: (2025)

Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models
by: Bortolotti, Samuele, et al.
Published: (2026)

eXpLogic: Explaining Logic Types and Patterns in DiffLogic Networks
by: Wormald, Stephen, et al.
Published: (2025)

PruneSymNet: A Symbolic Neural Network and Pruning Algorithm for Symbolic Regression
by: Wu, Min, et al.
Published: (2024)

Towards Symbolic XAI -- Explanation Through Human Understandable Logical Relationships Between Features
by: Schnake, Thomas, et al.
Published: (2024)

Scaling Up Unbiased Search-based Symbolic Regression
by: Kahlmeyer, Paul, et al.
Published: (2025)

LogicXGNN: Grounded Logical Rules for Explaining Graph Neural Networks
by: Geng, Chuqin, et al.
Published: (2025)

NASP-T: A Fuzzy Neuro-Symbolic Transformer for Logic-Constrained Aviation Safety Report Classification
by: Machot, Fadi Al, et al.
Published: (2025)

Improving Monte Carlo Tree Search for Symbolic Regression
by: Huang, Zhengyao, et al.
Published: (2025)

Exploiting Hybrid Policy in Reinforcement Learning for Interpretable Temporal Logic Manipulation
by: Zhang, Hao, et al.
Published: (2024)

Enhancing Logical Reasoning in Large Language Models through Graph-based Synthetic Data
by: Zhou, Jiaming, et al.
Published: (2024)

Diffusion-Based Symbolic Regression
by: Bastiani, Zachary, et al.
Published: (2025)

Dimension Reduction for Symbolic Regression
by: Kahlmeyer, Paul, et al.
Published: (2025)

Decomposable Neuro Symbolic Regression
by: Morales, Giorgio, et al.
Published: (2025)

Fast Symbolic Regression Benchmarking
by: Martinek, Viktor
Published: (2025)

Reinforced Symbolic Learning with Logical Constraints for Predicting Turbine Blade Fatigue Life
by: Li, Pei, et al.
Published: (2024)

Multitask Kernel-based Learning with Logic Constraints
by: Diligenti, Michelangelo, et al.
Published: (2024)

ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning
by: Lin, Bill Yuchen, et al.
Published: (2025)

Noise-Resilient Symbolic Regression with Dynamic Gating Reinforcement Learning
by: Sun, Chenglu, et al.
Published: (2025)

WARP Logic Neural Networks
by: Gerlach, Lino, et al.
Published: (2026)

LogicGuard: Improving Embodied LLM agents through Temporal Logic based Critics
by: Gokhale, Anand, et al.
Published: (2025)

Poisoning the Inner Prediction Logic of Graph Neural Networks for Clean-Label Backdoor Attacks
by: Zhang, Yuxiang, et al.
Published: (2026)

Differentiable Weightless Controllers: Learning Logic Circuits for Continuous Control
by: Kresse, Fabian, et al.
Published: (2025)

Interactive Symbolic Regression through Offline Reinforcement Learning: A Co-Design Framework
by: Tian, Yuan, et al.
Published: (2024)

Towards Scaling Laws for Symbolic Regression
by: Otte, David, et al.
Published: (2025)

Equality Graph Assisted Symbolic Regression
by: de Franca, Fabricio Olivetti, et al.
Published: (2025)

Discovering Symmetries of ODEs by Symbolic Regression
by: Kahlmeyer, Paul, et al.
Published: (2025)

Subjective Logic Encodings
by: Vasilakes, Jake, et al.
Published: (2025)

Complex Logical Instruction Generation
by: Zhang, Mian, et al.
Published: (2025)