NeuroBack

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

huyang0905 updated a dataset 11 months ago

neuroback/DataBack

huyang0905 authored a paper about 1 year ago

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks

View all activity

models

None public yet

datasets 1

neuroback/DataBack

Viewer • Updated Jan 28 • 8 • 14 • 2