torch==2.2.1
numpy
transformers==4.30.2
accelerate>=0.20.1
datasets
tiktoken
wandb
tqdm
trl
python-sat[aiger,approxmc,cryptosat,pblib]
