DataBack: Dataset of SAT Formulas and Backbone Variable Phases
What is DataBack
DataBack is a dataset that consists of 120,286 SAT formulas (in CNF format), each labeled with the phases of its backbone variables. DataBack contains two distinct subsets: the pre-training set, named DataBack-PT, and the fine-tuning set, named DataBack-FT, for pre-training and fine-tuning our NeuroBack model, respectively. To learn more about NeuroBack and DataBack, please refer to our… See the full description on the dataset page: https://huggingface.co/datasets/neuroback/DataBack.
With Capital Performance Group, Matt Murphy discusses how institutions are adopting standardized sales practices to identify promising customers and increase deal closures.
IBISWorld partners with nCino, building an integration to give credit teams industry insights directly within their workflows.
Not seeing a result you expected?
Learn how you can add new datasets to our index.
DataBack: Dataset of SAT Formulas and Backbone Variable Phases
What is DataBack
DataBack is a dataset that consists of 120,286 SAT formulas (in CNF format), each labeled with the phases of its backbone variables. DataBack contains two distinct subsets: the pre-training set, named DataBack-PT, and the fine-tuning set, named DataBack-FT, for pre-training and fine-tuning our NeuroBack model, respectively. To learn more about NeuroBack and DataBack, please refer to our… See the full description on the dataset page: https://huggingface.co/datasets/neuroback/DataBack.