:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Pal, Koyena, Kadioglu, Serdar
Formato:	Preprint
Publicado:	2026
Materias:	Machine Learning Artificial Intelligence Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2604.15448
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
por: Li, Chunxiao, et al.
Publicado: (2024)

Can Transformers Reason Logically? A Study in SAT Solving
por: Pan, Leyan, et al.
Publicado: (2024)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
por: Zhang, Zhiwei, et al.
Publicado: (2025)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
por: Wei, Anjiang, et al.
Publicado: (2025)

Learning Explainable and Better Performing Representations of POMDP Strategies
por: Bork, Alexander, et al.
Publicado: (2024)

Value Function Initialization for Knowledge Transfer and Jump-start in Deep Reinforcement Learning
por: Mehimeh, Soumia
Publicado: (2025)

SDSC:A Structure-Aware Metric for Semantic Signal Representation Learning
por: Lee, Jeyoung, et al.
Publicado: (2025)

Learning to Solve and Optimize by Evolving Code
por: Semmelrock, Veronika, et al.
Publicado: (2026)

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
por: Dai, Steve, et al.
Publicado: (2025)

Dual Box Embeddings for the Description Logic EL++
por: Jackermeier, Mathias, et al.
Publicado: (2023)

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
por: Lamont, Sean, et al.
Publicado: (2024)

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
por: He, Yunjie, et al.
Publicado: (2024)

Circuit Representations of Random Forests with Applications to XAI
por: Ji, Chunxi, et al.
Publicado: (2026)

Regional, Lattice and Logical Representations of Neural Networks
por: Preto, Sandro, et al.
Publicado: (2025)

A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
por: Anwer, Nivar, et al.
Publicado: (2025)

BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization
por: Lourenço, Bruno F., et al.
Publicado: (2026)

Inductive Generalization in Reinforcement Learning from Specifications
por: Subramanian, Vignesh, et al.
Publicado: (2024)

Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
por: Li, Jinzhao, et al.
Publicado: (2026)

Learning Temporal Logic Predicates from Data with Statistical Guarantees
por: Soroka, Emi, et al.
Publicado: (2024)

The Geometry of Reasoning: Flowing Logics in Representation Space
por: Zhou, Yufa, et al.
Publicado: (2025)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
por: Su, Yuheng, et al.
Publicado: (2025)

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
por: Júnior, Antônio Carlos Souza Ferreira, et al.
Publicado: (2024)

Robust Shielding for Safe Reinforcement Learning
por: Court, Edwin Hamel-De le, et al.
Publicado: (2026)

Machine Learning for Quantifier Selection in cvc5
por: Jakubův, Jan, et al.
Publicado: (2024)

SATformer: Transformer-Based UNSAT Core Learning
por: Shi, Zhengyuan, et al.
Publicado: (2022)

Can Transformers Learn to Verify During Backtracking Search?
por: Phua, Yin Jun, et al.
Publicado: (2026)

Learning big logical rules by joining small rules
por: Hocquette, Céline, et al.
Publicado: (2024)

Learning Concepts Definable in First-Order Logic with Counting
por: van Bergerem, Steffen
Publicado: (2019)

Inference of Abstraction for a Unified Account of Reasoning and Learning
por: Kido, Hiroyuki
Publicado: (2024)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
por: Brorholt, Asger Horn, et al.
Publicado: (2024)

LeanAgent: Lifelong Learning for Formal Theorem Proving
por: Kumarappan, Adarsh, et al.
Publicado: (2024)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
por: De Angelis, Emanuele, et al.
Publicado: (2024)

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

Compact Rule-Based Classifier Learning via Gradient Descent
por: Fumanal-Idocin, Javier, et al.
Publicado: (2025)

PiShield: A PyTorch Package for Learning with Requirements
por: Stoian, Mihaela Cătălina, et al.
Publicado: (2024)

Multitask Kernel-based Learning with First-Order Logic Constraints
por: Diligenti, Michelangelo, et al.
Publicado: (2023)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
por: Buleshnyi, Mykhailo, et al.
Publicado: (2025)

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
por: Kasaura, Kazumi, et al.
Publicado: (2025)

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
por: Joshi, Aniruddha, et al.
Publicado: (2025)

Dualformer: Controllable Fast and Slow Thinking by Learning with Randomized Reasoning Traces
por: Su, DiJia, et al.
Publicado: (2024)