:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jian, Chunjin, Zhu, Xinhua
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2512.14100
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
von: Olivieri, Pierriccardo, et al.
Veröffentlicht: (2026)

Learning Concepts Definable in First-Order Logic with Counting
von: van Bergerem, Steffen
Veröffentlicht: (2019)

Multitask Kernel-based Learning with First-Order Logic Constraints
von: Diligenti, Michelangelo, et al.
Veröffentlicht: (2023)

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
von: Lalwani, Abhinav, et al.
Veröffentlicht: (2024)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
von: Barloy, Corentin, et al.
Veröffentlicht: (2025)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
von: Mannucci, Mirco A.
Veröffentlicht: (2025)

Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
von: Queiroz, Luiz Fernando Paulino, et al.
Veröffentlicht: (2026)

The Logical Expressiveness of Topological Neural Networks
von: Akbari, Amirreza, et al.
Veröffentlicht: (2026)

A Logical View of GNN-Style Computation and the Role of Activation Functions
von: Barceló, Pablo, et al.
Veröffentlicht: (2025)

Logic Gate Neural Networks are Good for Verification
von: Kresse, Fabian, et al.
Veröffentlicht: (2025)

Boolformer: Symbolic Regression of Logic Functions with Transformers
von: d'Ascoli, Stéphane, et al.
Veröffentlicht: (2023)

Interpolation in First-Order Logic
von: Cate, Balder ten, et al.
Veröffentlicht: (2025)

Distributed First Order Logic
von: Ghidini, Chiara, et al.
Veröffentlicht: (2015)

Agent-Knowledge Logic for Alternative Epistemic Logic
von: Nishimura, Yuki
Veröffentlicht: (2024)

TLINet: Differentiable Neural Network Temporal Logic Inference
von: Li, Danyang, et al.
Veröffentlicht: (2024)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
von: Flinkow, Thomas, et al.
Veröffentlicht: (2026)

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
von: Guzmán, Manuel Vargas, et al.
Veröffentlicht: (2025)

Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study
von: Beirami, Hani, et al.
Veröffentlicht: (2026)

Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning
von: Tasse, Geraud Nangue, et al.
Veröffentlicht: (2022)

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
von: Murphy, William, et al.
Veröffentlicht: (2024)

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
von: Filho, Francisco Mateus Rocha, et al.
Veröffentlicht: (2026)

Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering
von: Zhang, Chongzhi, et al.
Veröffentlicht: (2024)

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
von: Sulc, Antonin
Veröffentlicht: (2026)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
von: Gomes, Ronaldo, et al.
Veröffentlicht: (2026)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
von: Sälzer, Marco, et al.
Veröffentlicht: (2025)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
von: Meli, Daniele, et al.
Veröffentlicht: (2024)

On the Satisfiability of Local First-Order Logics with Data
von: Bollig, Benedikt, et al.
Veröffentlicht: (2023)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Expressive Temporal Specifications for Reward Monitoring
von: Adalat, Omar, et al.
Veröffentlicht: (2025)

Modal Logical Neural Networks
von: Sulc, Antonin
Veröffentlicht: (2025)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
von: Aditya, Dyuman, et al.
Veröffentlicht: (2025)

A General Automata Model for First-Order Temporal Logics (Extended Version)
von: Geatti, Luca, et al.
Veröffentlicht: (2024)

Are Language Models Efficient Reasoners? A Perspective from Logic Programming
von: Opedal, Andreas, et al.
Veröffentlicht: (2025)

Neural Logic Networks for Interpretable Classification
von: Perreault, Vincent, et al.
Veröffentlicht: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
von: Lin, Yuanfei, et al.
Veröffentlicht: (2022)

Can Transformers Reason Logically? A Study in SAT Solving
von: Pan, Leyan, et al.
Veröffentlicht: (2024)

A Two-Watched Literal Scheme for First-Order Logic
von: Briefs, Yasmine, et al.
Veröffentlicht: (2026)

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
von: Işık, İlker, et al.
Veröffentlicht: (2024)

Checking Satisfiability of Hyperproperties using First-Order Logic
von: Beutner, Raven, et al.
Veröffentlicht: (2025)