Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up

Collections

Discover the best community collections!

Collections including paper arxiv:1802.03685

Papers - SAT Solver

Guiding High-Performance SAT Solvers with Unsat-Core Predictions

Paper • 1903.04671 • Published Mar 12, 2019 • 1
Learning a SAT Solver from Single-Bit Supervision

Paper • 1802.03685 • Published Feb 11, 2018 • 1
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks

Paper • 2110.14053 • Published Oct 26, 2021 • 1

Papers - Training - Supervised - Classification

Learning a SAT Solver from Single-Bit Supervision

Paper • 1802.03685 • Published Feb 11, 2018 • 1

Papers - BitNet - Research - Classification - SAT Solvers

Learning a SAT Solver from Single-Bit Supervision

Paper • 1802.03685 • Published Feb 11, 2018 • 1
Guiding High-Performance SAT Solvers with Unsat-Core Predictions

Paper • 1903.04671 • Published Mar 12, 2019 • 1

Papers - SAT Solver - NeuroSAT

Learning a SAT Solver from Single-Bit Supervision

Paper • 1802.03685 • Published Feb 11, 2018 • 1
Guiding High-Performance SAT Solvers with Unsat-Core Predictions

Paper • 1903.04671 • Published Mar 12, 2019 • 1

Papers - Training - Classification - Bit - SAT Solver

Learning a SAT Solver from Single-Bit Supervision

Paper • 1802.03685 • Published Feb 11, 2018 • 1

Papers - Microsoft

Can large language models explore in-context?

Paper • 2403.15371 • Published Mar 22 • 32
GaussianCube: Structuring Gaussian Splatting using Optimal Transport for 3D Generative Modeling

Paper • 2403.19655 • Published Mar 28 • 18
WavLLM: Towards Robust and Adaptive Speech Large Language Model

Paper • 2404.00656 • Published Mar 31 • 10
Enabling Memory Safety of C Programs using LLMs

Paper • 2404.01096 • Published Apr 1 • 1

Company

© Hugging Face

TOS Privacy About Jobs

Website

Models Datasets Spaces Pricing Docs