Image de couverture de livre

GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhang, Zhanguang, Chetelat, Didier, Cotnareanu, Joseph, Ghose, Amur, Xiao, Wenyi, Zhen, Hui-Ling, Zhang, Yingxue, Hao, Jianye, Coates, Mark, Yuan, Mingxuan
Format:	Preprint
Publié:	2024
Sujets:	Machine Learning Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic
par: Cotnareanu, Joseph, et autres
Publié: (2026)

HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation
par: Cotnareanu, Joseph, et autres
Publié: (2024)

InnerThoughts: Disentangling Representations and Predictions in Large Language Models
par: Chételat, Didier, et autres
Publié: (2025)

The Graph's Apprentice: Teaching an LLM Low Level Knowledge for Circuit Quality Estimation
par: Moravej, Reza, et autres
Publié: (2024)

Abductive Reasoning with Probabilistic Commonsense
par: Cotnareanu, Joseph, et autres
Publié: (2026)

GraSS: Scalable Data Attribution with Gradient Sparsification and Sparse Projection
par: Hu, Pingbang, et autres
Publié: (2025)

Refining Answer Distributions for Improved Large Language Model Reasoning
par: Pal, Soumyasundar, et autres
Publié: (2024)

One Demo Is All It Takes: Planning Domain Derivation with LLMs from A Single Demonstration
par: Huang, Jinbang, et autres
Publié: (2025)

E2ESlack: An End-to-End Graph-Based Framework for Pre-Routing Slack Prediction
par: Bodhe, Saurabh, et autres
Publié: (2025)

Self-CriTeach: LLM Self-Teaching and Self-Critiquing for Improving Robotic Planning via Automated Domain Generation
par: Huang, Jinbang, et autres
Publié: (2025)

One Step Forward and K Steps Back: Better Reasoning with Denoising Recursion Models
par: Cameron, Chris, et autres
Publié: (2026)

Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
par: Shi, Zhengyuan, et autres
Publié: (2024)

Automated QoR improvement in OpenROAD with coding agents
par: Ghose, Amur, et autres
Publié: (2026)

ORFS-agent: Tool-Using Agents for Chip Design Optimization
par: Ghose, Amur, et autres
Publié: (2025)

Graph Knowledge Distillation to Mixture of Experts
par: Rumiantsev, Pavel, et autres
Publié: (2024)

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
par: Sun, Yiwen, et autres
Publié: (2024)

Rethinking Clause Management for CDCL SAT Solvers
par: Cai, Yalun, et autres
Publié: (2026)

Dsat: A Native SAT Solver for Discrete Logic
par: Zhang, Yaofang, et autres
Publié: (2026)

FEval-TTC: Fair Evaluation Protocol for Test-Time Compute
par: Rumiantsev, Pavel, et autres
Publié: (2025)

Personalized Negative Reservoir for Incremental Learning in Recommender Systems
par: Valkanas, Antonios, et autres
Publié: (2024)

MILP-SAT-GNN: Yet Another Neural SAT Solver
par: Cardillo, Franco Alberto, et autres
Publié: (2025)

ShapeGraFormer: GraFormer-Based Network for Hand-Object Reconstruction from a Single Depth Map
par: Aboukhadra, Ahmed Tawfik, et autres
Publié: (2023)

H-WM: Robotic Task and Motion Planning Guided by Hierarchical World Model
par: Huang, Jinbang, et autres
Publié: (2026)

PASER: Post-Training Data Selection for Efficient Pruned Large Language Model Recovery
par: He, Bowei, et autres
Publié: (2025)

Multi-resolution Time-Series Transformer for Long-term Forecasting
par: Zhang, Yitian, et autres
Publié: (2023)

DyG2Vec: Efficient Representation Learning for Dynamic Graphs
par: Alomrani, Mohammad Ali, et autres
Publié: (2022)

MOSS: Efficient and Accurate FP8 LLM Training with Microscaling and Automatic Scaling
par: Zhang, Yu, et autres
Publié: (2025)

Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking
par: Lin, Shang-Wei, et autres
Publié: (2026)

HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
par: Li, Yang, et autres
Publié: (2023)

Enhancing Logical Reasoning in Large Language Models through Graph-based Synthetic Data
par: Zhou, Jiaming, et autres
Publié: (2024)

InvertiTune: High-Quality Data Synthesis for Cost-Effective Single-Shot Text-to-Knowledge Graph Generation
par: Faez, Faezeh, et autres
Publié: (2025)

Detecting Isohedral Polyforms with a SAT Solver
par: Kaplan, Craig S.
Publié: (2024)

It Takes Two: Your GRPO Is Secretly DPO
par: Wu, Yihong, et autres
Publié: (2025)

GraphPPD: Posterior Predictive Modelling for Graph-Level Inference
par: Pal, Soumyasundar, et autres
Publié: (2025)

C3PO: Optimized Large Language Model Cascades with Probabilistic Cost Constraints for Reasoning
par: Valkanas, Antonios, et autres
Publié: (2025)

Extracting and Following Paths for Robust Relational Reasoning with Large Language Models
par: Zhang, Ge, et autres
Publié: (2024)

PreMoE: Proactive Inference for Efficient Mixture-of-Experts
par: Pei, Zehua, et autres
Publié: (2025)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
par: Jha, Piyush, et autres
Publié: (2024)

A Customized SAT-based Solver for Graph Coloring
par: Brand, Timo, et autres
Publié: (2025)

Improving SAT Solvers on Orthogonal Latin Square Problems
par: Barnoff, Aaron, et autres
Publié: (2026)