logical constraint

Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning AAAI 2026 SymbolicThought: Integrating Language Models and Symbolic Reasoning for Consistent and Interpretable Human Relationship Understanding ACL 2026 Improving Out-of-Distribution Detection with Markov Logic Networks ICML 2025 Learning from Logical Constraints with Lower- and Upper-Bound Arithmetic Circuits IJCAI 2025 Logically Constrained Decoding EMNLP 2025 Logic Induced High-Order Reasoning Network for Event-Event Relation Extraction AAAI 2025 Logic-Regularized Verifier Elicits Reasoning from LLMs ACL 2025 Relational Neurosymbolic Markov Models AAAI 2025 SRM-LLM: Semantic Relationship Mining with LLMs for Temporal Knowledge Graph Extrapolation EMNLP 2025 Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints AAAI 2025 Adaptable Logical Control for Large Language Models NeurIPS 2024 ConSequence: Synthesizing Logically Constrained Sequences for Electronic Health Record Generation AAAI 2024 A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference NeurIPS 2023 A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints NeurIPS 2023 Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints NeurIPS 2023 Learning with Logical Constraints but without Shortcut Satisfaction ICLR 2023 LogicSeg: Parsing Visual Semantics with Neural Logic Learning and Reasoning ICCV 2023 Neural probabilistic logic programming in discrete-continuous domains UAI 2023 Neuro-symbolic Learning Yielding Logical Constraints NeurIPS 2023 Preferences and Constraints in Abstract Argumentation IJCAI 2023 BioNLI: Generating a Biomedical NLI Dataset Using Lexico-semantic Constraints for Adversarial Examples EMNLP 2022 Deep Learning with Logical Constraints IJCAI 2022 Hyperbolic Embedding Inference for Structured Multi-Label Prediction NeurIPS 2022 Injecting Logical Constraints into Neural Networks via Straight-Through Estimators ICML 2022 MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks AAAI 2022