vllm
fire
accelerate
peft
datasets
z3-solver