Initial Refactor and add new features for SAT solver including gpt_train.py and downstream tasks, plus addition of multi-node/multi-GPU processes#2

Open

cesposo wants to merge 3 commits intomainfrom refactor_edits

+516-165

Commits on Sep 28, 2024

Add accuracy plot
leyanpan
committed

Commits on Oct 1, 2024

added the new gpt_train.py which includes pre-defined dicvtionaries of model sizes for our experiments with respect to to scaling laws. These also include hte updated tokenization/encoding schemes.…
cesposo
committed

Commits on Oct 2, 2024

added readme.md to update on the new train and eval process, as well as a basic example of running the code on multi-node/multi-gpu for larger LLMs
cesposo
committed