8000 Added how to use commit0 for sampling during STAR training by wenting-zhao · Pull Request #105 · commit-0/commit0 · GitHub
[go: up one dir, main page]

Skip to content

Added how to use commit0 for sampling during STAR training #105

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 18 commits into
base: main
Choose a base branch
from
Draft
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
updates
  • Loading branch information
wenting-zhao committed Dec 8, 2024
commit f6b2a718cdbe6561ad0ad4354a0e88a8b9417566
18 changes: 6 additions & 12 deletions examples/star/star.py
Original file line number Diff line number Diff line change
@@ -1,25 +1,17 @@
"""Main STaR Loop"""

import argparse
from datasets import Dataset, load_dataset
from inference import generate_predictions
from utils import execute_tests
from train import train
from utils import execute_tests, parse_args


def main():
parser = argparse.ArgumentParser()
parser.add_argument("--model_name", type=str, required=True, help="model to use")
parser.add_argument(
"--dataset_name", type=str, required=True, help="dataset to use"
)
parser.add_argument("--temperature", type=float, default=1)
parser.add_argument("-n", type=int, default=1)
args = parser.parse_args()

args = parse_args()
ds = load_dataset(args.dataset_name)
assert "train" in ds
all_samples = generate_predictions(
args.model_name, ds["train"], args.temperature, args.n
args.model_name_or_path, ds["train"], args.temperature, args.n
)
assert len(ds["train"]) == len(all_samples) 7BBF
all_traces, all_execution_results = execute_tests(ds["train"], all_samples)
Expand All @@ -28,13 +20,15 @@ def main():
ds["train"], all_execution_results, all_samples
):
for execution_result, sample in zip(execution_results, samples):
# pytest exit code: https://docs.pytest.org/en/stable/reference/exit-codes.html
if execution_result == 0:
example["prediction"] = sample
passed_examples.append(example)
break
new_ds = Dataset.from_list(passed_examples)
new_ds.to_json("star_training.json")
print(len(passed_examples) / len(ds["train"]))
train(args)


if __name__ == "__main__":
Expand Down
Loading
0