| # split so that same files are not seen in train/tst | |
| # not have qed in sequents + add command hist | |
| model_name: "codellama/CodeLlama-7b-hf" | |
| save_path: "pvs_sft5" | |
| rollouts_dir: "rollouts2" | |
| csv_file: "recommended_commands.csv" |
| # split so that same files are not seen in train/tst | |
| # not have qed in sequents + add command hist | |
| model_name: "codellama/CodeLlama-7b-hf" | |
| save_path: "pvs_sft5" | |
| rollouts_dir: "rollouts2" | |
| csv_file: "recommended_commands.csv" |