Cover Image

Learning with Logical Constraints but without Shortcut Satisfaction

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Zenan, Liu, Zehua, Yao, Yuan, Xu, Jingwei, Chen, Taolue, Ma, Xiaoxing, Lü, Jian
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Conformal Correction for Efficiency May be at Odds with Entropy
by: Xu, Senrong, et al.
Published: (2025)

Fair Conformal Classification via Learning Representation-Based Groups
by: Xu, Senrong, et al.
Published: (2026)

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

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

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

Inductive Subgraphs as Shortcuts: Causal Disentanglement for Heterophilic Graph Learning
by: Wang, Xiangmeng, et al.
Published: (2026)

Toward Reproducible Cross-Backend Compatibility for Deep Learning: A Configuration-First Framework with Three-Tier Verification
by: Li, Zehua
Published: (2025)

MiMu: Mitigating Multiple Shortcut Learning Behavior of Transformers
by: Zhao, Lili, et al.
Published: (2025)

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

Shortcut to Nowhere: Demystifying Deep Spurious Regression
by: Xu, Guanrong, et al.
Published: (2026)

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

Mitigating Shortcut Learning with InterpoLated Learning
by: Korakakis, Michalis, et al.
Published: (2025)

Guided Discrete Diffusion for Constraint Satisfaction Problems
by: Jung, Justin
Published: (2025)

Towards Faithful Explanations: Boosting Rationalization with Shortcuts Discovery
by: Yue, Linan, et al.
Published: (2024)

Rectifying Shortcut Behaviors in Preference-based Reward Learning
by: Ye, Wenqian, et al.
Published: (2025)

RIFT: Repurposing Negative Samples via Reward-Informed Fine-Tuning
by: Liu, Zehua, et al.
Published: (2026)

Advancing Biomedicine with Graph Representation Learning: Recent Progress, Challenges, and Future Directions
by: Li, Fang, et al.
Published: (2023)

Fairness is Not Flat: Geometric Phase Transitions Against Shortcut Learning
by: Rodriguez-Alvarez, Nicolas, et al.
Published: (2026)

Unfaithful Probability Distributions in Binary Triple of Causality Directed Acyclic Graph
by: Liu, Jingwei
Published: (2025)

Relaxing Continuous Constraints of Equivariant Graph Neural Networks for Physical Dynamics Learning
by: Zheng, Zinan, et al.
Published: (2024)

Constraints as Rewards: Reinforcement Learning for Robots without Reward Functions
by: Ishihara, Yu, et al.
Published: (2025)

MTLSO: A Multi-Task Learning Approach for Logic Synthesis Optimization
by: Faez, Faezeh, et al.
Published: (2024)

Gradient-based Model Shortcut Detection for Time Series Classification
by: Ibarra, Salomon, et al.
Published: (2025)

Beyond Low-rank Decomposition: A Shortcut Approach for Efficient On-Device Learning
by: Nguyen, Le-Trung, et al.
Published: (2025)

ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search
by: Collura, Vincenzo, et al.
Published: (2025)

NTKMTL: Mitigating Task Imbalance in Multi-Task Learning from Neural Tangent Kernel Perspective
by: Qin, Xiaohan, et al.
Published: (2025)

Neuro-Logic Lifelong Learning
by: He, Bowen, et al.
Published: (2025)

T-SKM-Net: Trainable Neural Network Framework for Linear Constraint Satisfaction via Sampling Kaczmarz-Motzkin Method
by: Zhu, Haoyu, et al.
Published: (2025)

PCGRL+: Scaling, Control and Generalization in Reinforcement Learning Level Generators
by: Earle, Sam, et al.
Published: (2024)

Shortcut Learning in Binary Classifier Black Boxes: Applications to Voice Anti-Spoofing and Biometrics
by: Sahidullah, Md, et al.
Published: (2026)

Norm-Hierarchy Transitions in Representation Learning: When and Why Neural Networks Abandon Shortcuts
by: Khanh, Truong Xuan, et al.
Published: (2026)

Learning Shortcuts: On the Misleading Promise of NLU in Language Models
by: Bihani, Geetanjali, et al.
Published: (2024)

Tackling the Root of Misinformation by Teaching Laypeople about Logical Fallacies via Socratic Questioning and Critical Argumentation
by: Shi, Minjing, et al.
Published: (2026)

Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction
by: Xu, Yudong W., et al.
Published: (2025)

Full Bayesian Significance Testing for Neural Networks
by: Liu, Zehua, et al.
Published: (2024)

ROAD: Adaptive Data Mixing for Offline-to-Online Reinforcement Learning via Bi-Level Optimization
by: Yang, Letian, et al.
Published: (2026)

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