Skip to content
This repository was archived by the owner on Jun 11, 2026. It is now read-only.
This repository was archived by the owner on Jun 11, 2026. It is now read-only.

Number of training samples for Uniform Random k-SAT and Pseudo-Industrial Random k-SAT (Sec 6.3,6.4) #2

Open
Open
Number of training samples for Uniform Random k-SAT and Pseudo-Industrial Random k-SAT (Sec 6.3,6.4)#2

Description

@ycunxi
Cunxi Yu (ycunxi)
opened on Apr 19, 2019

What is the size of your training set for these two experiments in Section 6.3 and Section 6.4?
In the NeuralSAT paper, they trained with use "millions of problems".

What is the reasonable size to reproduce similar results?

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions