Guardado en:
| Autores principales: | Pal, Koyena, Kadioglu, Serdar |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| 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)
por: Li, Chunxiao, et al.
Publicado: (2024)
Can Transformers Reason Logically? A Study in SAT Solving
por: Pan, Leyan, et al.
Publicado: (2024)
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)
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)
por: Wei, Anjiang, et al.
Publicado: (2025)
Learning Explainable and Better Performing Representations of POMDP Strategies
por: Bork, Alexander, et al.
Publicado: (2024)
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)
por: Mehimeh, Soumia
Publicado: (2025)
SDSC:A Structure-Aware Metric for Semantic Signal Representation Learning
por: Lee, Jeyoung, et al.
Publicado: (2025)
por: Lee, Jeyoung, et al.
Publicado: (2025)
Learning to Solve and Optimize by Evolving Code
por: Semmelrock, Veronika, et al.
Publicado: (2026)
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)
por: Dai, Steve, et al.
Publicado: (2025)
Dual Box Embeddings for the Description Logic EL++
por: Jackermeier, Mathias, et al.
Publicado: (2023)
por: Jackermeier, Mathias, et al.
Publicado: (2023)
BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
por: Lamont, Sean, et al.
Publicado: (2024)
por: Lamont, Sean, et al.
Publicado: (2024)
Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
por: He, Yunjie, et al.
Publicado: (2024)
por: He, Yunjie, et al.
Publicado: (2024)
Circuit Representations of Random Forests with Applications to XAI
por: Ji, Chunxi, et al.
Publicado: (2026)
por: Ji, Chunxi, et al.
Publicado: (2026)
Regional, Lattice and Logical Representations of Neural Networks
por: Preto, Sandro, et al.
Publicado: (2025)
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)
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)
por: Lourenço, Bruno F., et al.
Publicado: (2026)
Inductive Generalization in Reinforcement Learning from Specifications
por: Subramanian, Vignesh, et al.
Publicado: (2024)
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)
por: Li, Jinzhao, et al.
Publicado: (2026)
Learning Temporal Logic Predicates from Data with Statistical Guarantees
por: Soroka, Emi, et al.
Publicado: (2024)
por: Soroka, Emi, et al.
Publicado: (2024)
The Geometry of Reasoning: Flowing Logics in Representation Space
por: Zhou, Yufa, et al.
Publicado: (2025)
por: Zhou, Yufa, et al.
Publicado: (2025)
Deeply Optimizing the SAT Solver for the IC3 Algorithm
por: Su, Yuheng, et al.
Publicado: (2025)
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)
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)
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)
por: Jakubův, Jan, et al.
Publicado: (2024)
SATformer: Transformer-Based UNSAT Core Learning
por: Shi, Zhengyuan, et al.
Publicado: (2022)
por: Shi, Zhengyuan, et al.
Publicado: (2022)
Can Transformers Learn to Verify During Backtracking Search?
por: Phua, Yin Jun, et al.
Publicado: (2026)
por: Phua, Yin Jun, et al.
Publicado: (2026)
Learning big logical rules by joining small rules
por: Hocquette, Céline, et al.
Publicado: (2024)
por: Hocquette, Céline, et al.
Publicado: (2024)
Learning Concepts Definable in First-Order Logic with Counting
por: van Bergerem, Steffen
Publicado: (2019)
por: van Bergerem, Steffen
Publicado: (2019)
Inference of Abstraction for a Unified Account of Reasoning and Learning
por: Kido, Hiroyuki
Publicado: (2024)
por: Kido, Hiroyuki
Publicado: (2024)
Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
por: Brorholt, Asger Horn, et al.
Publicado: (2024)
por: Brorholt, Asger Horn, et al.
Publicado: (2024)
LeanAgent: Lifelong Learning for Formal Theorem Proving
por: Kumarappan, Adarsh, et al.
Publicado: (2024)
por: Kumarappan, Adarsh, et al.
Publicado: (2024)
Learning Brave Assumption-Based Argumentation Frameworks via ASP
por: De Angelis, Emanuele, et al.
Publicado: (2024)
por: De Angelis, Emanuele, et al.
Publicado: (2024)
Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
por: He, Haoyuan, et al.
Publicado: (2022)
por: He, Haoyuan, et al.
Publicado: (2022)
Compact Rule-Based Classifier Learning via Gradient Descent
por: Fumanal-Idocin, Javier, et al.
Publicado: (2025)
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)
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)
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)
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)
por: Kasaura, Kazumi, et al.
Publicado: (2025)
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
por: Joshi, Aniruddha, et al.
Publicado: (2025)
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)
por: Su, DiJia, et al.
Publicado: (2024)
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)