Imagen de Portada

SATformer: Transformer-Based UNSAT Core Learning

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Shi, Zhengyuan, Li, Min, Liu, Yi, Khan, Sadaf, Huang, Junhua, Zhen, Hui-Ling, Yuan, Mingxuan, Xu, Qiang
Formato:	Preprint
Publicado:	2022
Materias:	Artificial Intelligence Machine Learning Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
por: Shi, Zhengyuan, et al.
Publicado: (2024)

A Resolution-Based Interactive Proof System for UNSAT
por: Czerner, Philipp, et al.
Publicado: (2024)

HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation
por: Cotnareanu, Joseph, et al.
Publicado: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, et al.
Publicado: (2025)

Rethinking Clause Management for CDCL SAT Solvers
por: Cai, Yalun, et al.
Publicado: (2026)

DeepGate3: Towards Scalable Circuit Representation Learning
por: Shi, Zhengyuan, et al.
Publicado: (2024)

Logic Synthesis with Generative Deep Neural Networks
por: Li, Xihan, et al.
Publicado: (2024)

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

Structures of uninorms on bounded lattices via t-conorms, closure operators and t-subnorms
por: Xiu, Zhenyu, et al.
Publicado: (2025)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
por: Xu, Jianfeng
Publicado: (2025)

P2C: Path to Counterfactuals
por: Dasgupta, Sopam, et al.
Publicado: (2025)

MC3G: Model Agnostic Causally Constrained Counterfactual Generation
por: Dasgupta, Sopam, et al.
Publicado: (2025)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
por: Ielo, Antonio, et al.
Publicado: (2024)

Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
por: Xu, Yang, et al.
Publicado: (2025)

The Common Core Ontologies
por: Jensen, Mark, et al.
Publicado: (2024)

Magnushammer: A Transformer-Based Approach to Premise Selection
por: Mikuła, Maciej, et al.
Publicado: (2023)

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors
por: Yoo, Harim
Publicado: (2025)

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

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
por: Aria, Hadi Partovi, et al.
Publicado: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
por: Joyce, Johnny
Publicado: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
por: Bonanno, Giacomo
Publicado: (2026)

Similarity-based analogical proportions
por: Antić, Christian
Publicado: (2024)

New construction methods for uninorms via functions with q and uninorms on bounded lattices
por: Xiu, Zhen-Yu, et al.
Publicado: (2024)

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
por: Xu, Shaojun, et al.
Publicado: (2024)

Large Language Model for OWL Proofs
por: Yang, Hui, et al.
Publicado: (2026)

Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4
por: Shen, Austin, et al.
Publicado: (2026)

Weighted Rules under the Stable Model Semantics
por: Lee, Joohyung, et al.
Publicado: (2026)

Queries With Exact Truth Values in Paraconsistent Description Logics
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

A Strategy for Implementing description Temporal Dynamic Algorithms in Dynamic Knowledge Graphs by SPIN
por: Shahbazi, Alireza, et al.
Publicado: (2024)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
por: Pan, Yudai, et al.
Publicado: (2021)

Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping
por: Liu, Chanjuan, et al.
Publicado: (2024)

DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations
por: Khan, Sadaf, et al.
Publicado: (2024)

Contradictions
por: Xu, Yang, et al.
Publicado: (2025)

Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning
por: Xu, Yang, et al.
Publicado: (2026)

TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs
por: Sun, Qiang, et al.
Publicado: (2025)

Lattice Deduction Transformers
por: Davis, Liam, et al.
Publicado: (2026)

On the Logical Content of Knowledge Bases
por: Gheorghiu, Alexader V., et al.
Publicado: (2025)