X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;ds=inline;f=main.py;h=3b29d01fa1dc444604fb15f7552f21ac887f924b;hb=87e2957c7f8262524e1dc627ad33725f387c7286;hp=704dff5b95a918637e8cfc0282796322cb706fea;hpb=0e1e208852b83f6a3d59e5caabd2f0f1f4bde94e;p=culture.git diff --git a/main.py b/main.py index 704dff5..3b29d01 100755 --- a/main.py +++ b/main.py @@ -5,14 +5,14 @@ # Written by Francois Fleuret -import math, sys, argparse, time, tqdm, os +import math, sys, argparse, time, tqdm, os, datetime, warnings import torch, torchvision from torch import nn from torch.nn import functional as F import ffutils -import mygpt, tasks, problems +import mygpt, tasks ###################################################################### @@ -29,13 +29,6 @@ parser = argparse.ArgumentParser( formatter_class=argparse.ArgumentDefaultsHelpFormatter, ) -parser.add_argument( - "--task", - type=str, - default="twotargets", - help="byheart, learnop, guessop, twotargets, addition, picoclvr, mnist, maze, snake, stack, expr, rpl, grid", -) - parser.add_argument("--log_filename", type=str, default="train.log", help=" ") parser.add_argument("--result_dir", type=str, default=None) @@ -46,20 +39,18 @@ parser.add_argument("--max_percents_of_test_in_train", type=int, default=1) ######################################## -parser.add_argument("--nb_epochs", type=int, default=None) +parser.add_argument("--nb_epochs", type=int, default=10000) parser.add_argument("--batch_size", type=int, default=None) +parser.add_argument("--physical_batch_size", type=int, default=None) + parser.add_argument("--nb_train_samples", type=int, default=None) parser.add_argument("--nb_test_samples", type=int, default=None) -parser.add_argument("--optim", type=str, default="adam") - parser.add_argument("--learning_rate", type=float, default=1e-4) -parser.add_argument("--learning_rate_schedule", type=str, default="10: 2e-5,30: 4e-6") - ######################################## parser.add_argument("--model", type=str, default=None) @@ -80,206 +71,29 @@ parser.add_argument("--dropout", type=float, default=0.1) parser.add_argument("--deterministic_synthesis", action="store_true", default=False) -parser.add_argument("--no_checkpoint", action="store_true", default=False) - -parser.add_argument("--overwrite_results", action="store_true", default=False) - -parser.add_argument("--checkpoint_name", type=str, default="checkpoint.pth") - -############################## -# rpl options - -parser.add_argument("--rpl_nb_starting_values", type=int, default=3) - -parser.add_argument("--rpl_max_input", type=int, default=9) - -parser.add_argument("--rpl_prog_len", type=int, default=8) - -parser.add_argument("--rpl_nb_runs", type=int, default=5) - -parser.add_argument("--rpl_no_prog", action="store_true", default=False) - -############################## -# grid options - -parser.add_argument("--grid_size", type=int, default=6) - -############################## -# picoclvr options - -parser.add_argument("--picoclvr_nb_colors", type=int, default=5) - -parser.add_argument("--picoclvr_height", type=int, default=12) - -parser.add_argument("--picoclvr_width", type=int, default=16) - -parser.add_argument("--picocvlr_prune_properties", type=str, default="none") - -############################## -# Maze options - -parser.add_argument("--maze_height", type=int, default=13) - -parser.add_argument("--maze_width", type=int, default=21) - -parser.add_argument("--maze_nb_walls", type=int, default=15) - -############################## -# Snake options - -parser.add_argument("--snake_height", type=int, default=9) - -parser.add_argument("--snake_width", type=int, default=12) - -parser.add_argument("--snake_nb_colors", type=int, default=5) - -parser.add_argument("--snake_length", type=int, default=200) - -############################## -# Stack options - -parser.add_argument("--stack_nb_steps", type=int, default=100) - -parser.add_argument("--stack_nb_stacks", type=int, default=3) +parser.add_argument("--nb_gpts", type=int, default=5) -parser.add_argument("--stack_nb_digits", type=int, default=3) - -parser.add_argument("--stack_fraction_values_for_train", type=float, default=0.75) - -############################## -# Expr options - -parser.add_argument("--expr_nb_variables", type=int, default=5) - -parser.add_argument("--expr_sequence_length", type=int, default=40) - -parser.add_argument("--expr_operand_max", type=int, default=9) - -parser.add_argument("--expr_result_max", type=int, default=99) - -parser.add_argument("--expr_input_file", type=str, default=None) - -############################## -# World options - -parser.add_argument("--world_vqae_nb_epochs", type=int, default=25) +parser.add_argument("--check", action="store_true", default=False) ###################################################################### args = parser.parse_args() -assert args.picocvlr_prune_properties in {"none", "train+eval", "eval"} - if args.result_dir is None: - args.result_dir = f"results_{args.task}" + args.result_dir = f"results_culture" ###################################################################### -default_task_args = { - "byheart": { - "model": "37M", - "nb_epochs": 2, - "batch_size": 25, - "nb_train_samples": 50000, - "nb_test_samples": 10000, - }, - "learnop": { - "model": "37M", - "nb_epochs": 15, - "batch_size": 25, - "nb_train_samples": 50000, - "nb_test_samples": 10000, - }, - "guessop": { - "model": "352M", - "nb_epochs": 5, - "batch_size": 25, - "nb_train_samples": 1000000, - "nb_test_samples": 10000, - }, - "twotargets": { - "model": "37M", - "nb_epochs": 10, - "batch_size": 25, - "nb_train_samples": 50000, - "nb_test_samples": 10000, - }, - "addition": { - "model": "352M", - "nb_epochs": 50, - "batch_size": 25, - "nb_train_samples": 250000, - "nb_test_samples": 10000, - }, - "picoclvr": { - "model": "37M", - "nb_epochs": 25, - "batch_size": 25, - "nb_train_samples": 250000, - "nb_test_samples": 10000, - }, - "mnist": { - "model": "37M", - "nb_epochs": 25, - "batch_size": 10, - "nb_train_samples": 60000, - "nb_test_samples": 10000, - }, - "maze": { - "model": "37M", - "nb_epochs": 25, - "batch_size": 5, - "nb_train_samples": 100000, - "nb_test_samples": 10000, - }, - "snake": { - "model": "37M", - "nb_epochs": 5, - "batch_size": 25, - "nb_train_samples": 250000, - "nb_test_samples": 10000, - }, - "stack": { - "model": "37M", - "nb_epochs": 15, - "batch_size": 25, - "nb_train_samples": 100000, - "nb_test_samples": 1000, - }, - "expr": { - "model": "352M", - "nb_epochs": 25, - "batch_size": 25, - "nb_train_samples": 2500000, - "nb_test_samples": 10000, - }, - "rpl": { - "model": "122M", - "nb_epochs": 50, - "batch_size": 5, - "nb_train_samples": 1000000, - "nb_test_samples": 10000, - }, - "world": { - "model": "37M", - "nb_epochs": 10, - "batch_size": 25, - "nb_train_samples": 25000, - "nb_test_samples": 1000, - }, - "grid": { - "model": "37M", - "nb_epochs": 25, - "batch_size": 25, - "nb_train_samples": 250000, - "nb_test_samples": 10000, - }, +default_args = { + "model": "37M", + "batch_size": 100, + "nb_train_samples": 250000, + "nb_test_samples": 10000, } -if args.task in default_task_args: - for k, v in default_task_args[args.task].items(): - if getattr(args, k) is None: - setattr(args, k, v) +for k, v in default_args.items(): + if getattr(args, k) is None: + setattr(args, k, v) ###################################################################### @@ -291,6 +105,13 @@ default_model_args = { "nb_heads": 2, "nb_blocks": 2, }, + "4M": { + "dim_model": 256, + "dim_keys": 32, + "dim_hidden": 1024, + "nb_heads": 4, + "nb_blocks": 6, + }, "37M": { "dim_model": 512, "dim_keys": 64, @@ -326,9 +147,8 @@ else: try: os.mkdir(args.result_dir) except FileExistsError: - if not args.overwrite_results: - print(f"result directory {args.result_dir} already exists") - exit(1) + print(f"result directory {args.result_dir} already exists") + exit(1) log_file = open(os.path.join(args.result_dir, args.log_filename), "a") @@ -354,191 +174,34 @@ def log_string(s): sys.stdout.flush() +log_string(f"argv {' '.join(sys.argv)}") + for n in vars(args): log_string(f"args.{n} {getattr(args, n)}") ###################################################################### +if args.check: + args.nb_train_samples = 2500 + args.nb_test_samples = 100 -def picoclvr_pruner_horizontal_green(p): - return not ("green" in p and ("left" in p or "right" in p)) - - -picoclvr_pruner_train = ( - picoclvr_pruner_horizontal_green - if args.picocvlr_prune_properties in {"train+eval"} - else None -) - -picoclvr_pruner_eval = ( - (lambda p: not picoclvr_pruner_horizontal_green(p)) - if args.picocvlr_prune_properties in {"train+eval", "eval"} - else None -) - -###################################################################### - -if args.task == "byheart": - task = tasks.SandBox( - problem=problems.ProblemByHeart(), - nb_train_samples=args.nb_train_samples, - nb_test_samples=args.nb_test_samples, - batch_size=args.batch_size, - logger=log_string, - device=device, - ) - args.max_percents_of_test_in_train = -1 - -elif args.task == "learnop": - task = tasks.SandBox( - problem=problems.ProblemLearnOperator(), - nb_train_samples=args.nb_train_samples, - nb_test_samples=args.nb_test_samples, - batch_size=args.batch_size, - logger=log_string, - device=device, - ) - - -elif args.task == "guessop": - task = tasks.SandBox( - problem=problems.ProblemGuessOperator(), - nb_train_samples=args.nb_train_samples, - nb_test_samples=args.nb_test_samples, - batch_size=args.batch_size, - logger=log_string, - device=device, - ) - - -elif args.task == "twotargets": - task = tasks.SandBox( - problem=problems.ProblemTwoTargets(), - nb_train_samples=args.nb_train_samples, - nb_test_samples=args.nb_test_samples, - batch_size=args.batch_size, - logger=log_string, - device=device, - ) - -elif args.task == "addition": - task = tasks.SandBox( - problem=problems.ProblemAddition(), - nb_train_samples=args.nb_train_samples, - nb_test_samples=args.nb_test_samples, - batch_size=args.batch_size, - logger=log_string, - device=device, - ) - -elif args.task == "picoclvr": - task = tasks.PicoCLVR( - nb_train_samples=args.nb_train_samples, - nb_test_samples=args.nb_test_samples, - batch_size=args.batch_size, - height=args.picoclvr_height, - width=args.picoclvr_width, - nb_colors=args.picoclvr_nb_colors, - logger=log_string, - device=device, - pruner_train=picoclvr_pruner_train, - pruner_eval=picoclvr_pruner_eval, - ) - -elif args.task == "mnist": - task = tasks.MNIST( - nb_train_samples=args.nb_train_samples, - nb_test_samples=args.nb_test_samples, - batch_size=args.batch_size, - device=device, - ) - -elif args.task == "maze": - task = tasks.Maze( - nb_train_samples=args.nb_train_samples, - nb_test_samples=args.nb_test_samples, - batch_size=args.batch_size, - height=args.maze_height, - width=args.maze_width, - nb_walls=args.maze_nb_walls, - device=device, - ) - -elif args.task == "snake": - task = tasks.Snake( - nb_train_samples=args.nb_train_samples, - nb_test_samples=args.nb_test_samples, - batch_size=args.batch_size, - height=args.snake_height, - width=args.snake_width, - nb_colors=args.snake_nb_colors, - length=args.snake_length, - prompt_length=args.snake_length // 2, - device=device, - ) - -elif args.task == "stack": - task = tasks.Stack( - nb_train_samples=args.nb_train_samples, - nb_test_samples=args.nb_test_samples, - batch_size=args.batch_size, - logger=log_string, - nb_steps=args.stack_nb_steps, - nb_stacks=args.stack_nb_stacks, - nb_digits=args.stack_nb_digits, - fraction_values_for_train=args.stack_fraction_values_for_train, - device=device, - ) - -elif args.task == "expr": - task = tasks.Expr( - nb_train_samples=args.nb_train_samples, - nb_test_samples=args.nb_test_samples, - nb_variables=args.expr_nb_variables, - sequence_length=args.expr_sequence_length, - operand_max=args.expr_operand_max, - result_max=args.expr_result_max, - batch_size=args.batch_size, - device=device, - ) - -elif args.task == "rpl": - task = tasks.RPL( - nb_train_samples=args.nb_train_samples, - nb_test_samples=args.nb_test_samples, - batch_size=args.batch_size, - nb_starting_values=args.rpl_nb_starting_values, - max_input=args.rpl_max_input, - prog_len=args.rpl_prog_len, - nb_runs=args.rpl_nb_runs, - no_prog=args.rpl_no_prog, - logger=log_string, - device=device, - ) - -elif args.task == "grid": - task = tasks.Grid( - nb_train_samples=args.nb_train_samples, - nb_test_samples=args.nb_test_samples, - batch_size=args.batch_size, - size=args.grid_size, - logger=log_string, - device=device, - ) - -elif args.task == "world": - task = tasks.World( - nb_train_samples=args.nb_train_samples, - nb_test_samples=args.nb_test_samples, - batch_size=args.batch_size, - vqae_nb_epochs=args.world_vqae_nb_epochs, - logger=log_string, - device=device, - ) - +if args.physical_batch_size is None: + args.physical_batch_size = args.batch_size else: - raise ValueError(f"Unknown task {args.task}") + assert args.batch_size % args.physical_batch_size == 0 + +assert args.nb_train_samples % args.batch_size == 0 +assert args.nb_test_samples % args.batch_size == 0 + +task = tasks.World( + nb_train_samples=args.nb_train_samples, + nb_test_samples=args.nb_test_samples, + batch_size=args.physical_batch_size, + result_dir=args.result_dir, + logger=log_string, + device=device, +) ###################################################################### @@ -548,72 +211,12 @@ vocabulary_size = task.vocabulary_size() log_string(f"vocabulary_size {vocabulary_size}") -############################## - -model = mygpt.MyGPT( - vocabulary_size=vocabulary_size, - dim_model=args.dim_model, - dim_keys=args.dim_keys, - dim_hidden=args.dim_hidden, - nb_heads=args.nb_heads, - nb_blocks=args.nb_blocks, - causal=True, - dropout=args.dropout, -) - -model.to(device) - -nb_parameters = sum(p.numel() for p in model.parameters()) -log_string(f"nb_parameters {nb_parameters} ({int(nb_parameters/1e6)}M)") - -###################################################################### - -nb_epochs_finished = 0 - -if args.no_checkpoint: - log_string(f"not trying to load checkpoint.") - -else: - try: - checkpoint_name = os.path.join(args.result_dir, args.checkpoint_name) - checkpoint = torch.load(checkpoint_name) - nb_epochs_finished = checkpoint["nb_epochs_finished"] - model.load_state_dict(checkpoint["model_state"]) - torch.set_rng_state(checkpoint["rng_state"]) - if torch.cuda.is_available(): - torch.cuda.set_rng_state(checkpoint["cuda_rng_state"]) - - log_string(f"checkpoint loaded with {nb_epochs_finished} epochs finished.") - - except FileNotFoundError: - log_string("starting from scratch.") - - except: - log_string("error when loading the checkpoint.") - exit(1) - -###################################################################### - -if args.task == "expr" and args.expr_input_file is not None: - task.produce_results( - n_epoch=nb_epochs_finished, - model=model, - result_dir=args.result_dir, - logger=log_string, - deterministic_synthesis=args.deterministic_synthesis, - input_file=args.expr_input_file, - ) - - exit(0) - ###################################################################### -nb_epochs = args.nb_epochs if args.nb_epochs > 0 else nb_epochs_default - # Compute the entropy of the training tokens token_count = 0 -for input in task.batches(split="train"): +for input in task.batches(split="train", desc="train-entropy"): token_count += F.one_hot(input, num_classes=task.vocabulary_size()).sum((0, 1)) token_probas = token_count / token_count.sum() entropy = -torch.xlogy(token_probas, token_probas).sum() @@ -635,9 +238,13 @@ if args.max_percents_of_test_in_train >= 0: yield s nb_test, nb_in_train = 0, 0 - for test_subset in subsets_as_tuples(task.batches(split="test"), 25000): + for test_subset in subsets_as_tuples( + task.batches(split="test", desc="test-check"), 25000 + ): in_train = set() - for train_subset in subsets_as_tuples(task.batches(split="train"), 25000): + for train_subset in subsets_as_tuples( + task.batches(split="train", desc="train-check"), 25000 + ): in_train.update(test_subset.intersection(train_subset)) nb_in_train += len(in_train) nb_test += len(test_subset) @@ -652,54 +259,9 @@ if args.max_percents_of_test_in_train >= 0: ############################## -if args.learning_rate_schedule == "cos": - learning_rate_schedule = {} - for n_epoch in range(args.nb_epochs): - u = n_epoch / args.nb_epochs * math.pi - learning_rate_schedule[n_epoch] = args.learning_rate * 0.5 * (1 + math.cos(u)) -else: - u = { - int(k): float(v) - for k, v in [ - tuple(x.split(":")) for x in args.learning_rate_schedule.split(",") - ] - } - - learning_rate_schedule = {} - learning_rate = args.learning_rate - for n_epoch in range(args.nb_epochs): - if n_epoch in u: - learning_rate = u[n_epoch] - learning_rate_schedule[n_epoch] = learning_rate - -log_string(f"learning_rate_schedule {learning_rate_schedule}") - -############################## - -nb_samples_seen = 0 - -if nb_epochs_finished >= nb_epochs: - task.produce_results( - n_epoch=nb_epochs_finished, - model=model, - result_dir=args.result_dir, - logger=log_string, - deterministic_synthesis=args.deterministic_synthesis, - ) - -for n_epoch in range(nb_epochs_finished, nb_epochs): - learning_rate = learning_rate_schedule[n_epoch] - - log_string(f"learning_rate {learning_rate}") - if args.optim == "sgd": - optimizer = torch.optim.SGD(model.parameters(), lr=learning_rate) - elif args.optim == "adam": - optimizer = torch.optim.Adam(model.parameters(), lr=learning_rate) - elif args.optim == "adamw": - optimizer = torch.optim.AdamW(model.parameters(), lr=learning_rate) - else: - raise ValueError(f"Unknown optimizer {args.optim}.") +def one_epoch(model, task): + optimizer = torch.optim.Adam(model.parameters(), lr=args.learning_rate) model.train() @@ -707,55 +269,178 @@ for n_epoch in range(nb_epochs_finished, nb_epochs): for input in task.batches(split="train"): input = input.to(device) + + if nb_train_samples % args.batch_size == 0: + optimizer.zero_grad() + output = model(mygpt.BracketedSequence(input)).x loss = F.cross_entropy(output.transpose(1, 2), input) acc_train_loss += loss.item() * input.size(0) + nb_train_samples += input.size(0) - nb_samples_seen += input.size(0) - optimizer.zero_grad() loss.backward() - optimizer.step() + if nb_train_samples % args.batch_size == 0: + optimizer.step() + + train_perplexity = math.exp(min(100, acc_train_loss / nb_train_samples)) + + log_string(f"train_perplexity {n_epoch} {train_perplexity}") + + +###################################################################### + + +def run_tests(model, task, deterministic_synthesis): with torch.autograd.no_grad(): model.eval() nb_test_samples, acc_test_loss = 0, 0.0 + nb_samples_accumulated = 0 for input in task.batches(split="test"): input = input.to(device) - output = model(mygpt.BracketedSequence(input)).x + bs = model(mygpt.BracketedSequence(input)) + output = bs.x + loss = F.cross_entropy(output.transpose(1, 2), input) + acc_test_loss += loss.item() * input.size(0) + nb_test_samples += input.size(0) - train_perplexity = math.exp(min(100, acc_train_loss / nb_train_samples)) + main_test_accuracy = task.produce_results( + n_epoch=n_epoch, + model=model, + result_dir=args.result_dir, + logger=log_string, + deterministic_synthesis=deterministic_synthesis, + ) + test_perplexity = math.exp(min(100, acc_test_loss / nb_test_samples)) - log_string( - f"perplexity {n_epoch} train_set {train_set_perplexity} train_prediction {train_perplexity} test_prediction {test_perplexity}" - ) + log_string(f"test_perplexity {n_epoch} {test_perplexity}") + + model.main_test_accuracy = main_test_accuracy + + +###################################################################### + - task.produce_results( +def create_quizzes( + model, + other_models, + task, + nb_for_train=1000, + nb_for_test=100, +): + kept = [] + + while sum([x.size(0) for x in kept]) < nb_for_train + nb_for_test: + new_quizzes, nb_correct = task.create_new_quizzes( n_epoch=n_epoch, - model=model, result_dir=args.result_dir, logger=log_string, - deterministic_synthesis=args.deterministic_synthesis, + nb=4 * (nb_for_train + nb_for_test), + model=model, + other_models=other_models, ) - checkpoint = { - "nb_epochs_finished": n_epoch + 1, - "model_state": model.state_dict(), - "rng_state": torch.get_rng_state(), - } + print(nb_correct) - if torch.cuda.is_available(): - checkpoint["cuda_rng_state"] = torch.cuda.get_rng_state() + to_keep = new_quizzes[nb_correct == len(other_models) - 1] + log_string(f"keep {to_keep.size(0)} quizzes") + kept.append(to_keep) + + new_quizzes = torch.cat(kept, dim=0)[: nb_for_train + nb_for_test] + + task.store_new_quizzes(new_quizzes[:nb_for_train], for_train=True) + task.store_new_quizzes(new_quizzes[nb_for_train:], for_train=False) + + task.save_image( + new_quizzes[:72], + args.result_dir, + f"world_quiz_{n_epoch:04d}_{model.id:02d}.png", + log_string, + ) + + +###################################################################### + +models = [] + +for k in range(args.nb_gpts): + model = mygpt.MyGPT( + vocabulary_size=vocabulary_size, + dim_model=args.dim_model, + dim_keys=args.dim_keys, + dim_hidden=args.dim_hidden, + nb_heads=args.nb_heads, + nb_blocks=args.nb_blocks, + causal=True, + dropout=args.dropout, + ).to(device) + + model.main_test_accuracy = 0.0 + model.id = k + + models.append(model) + + +nb_parameters = sum(p.numel() for p in models[0].parameters()) +log_string(f"nb_parameters {nb_parameters} ({int(nb_parameters/1e6)}M)") + +###################################################################### + +accuracy_to_make_quizzes = 0.975 +nb_new_quizzes_for_train = 1000 +nb_new_quizzes_for_test = 100 + +if args.check: + accuracy_to_make_quizzes = 0.0 + nb_new_quizzes_for_train = 10 + nb_new_quizzes_for_test = 10 + +for n_epoch in range(args.nb_epochs): + a = [(model.id, float(model.main_test_accuracy)) for model in models] + a.sort(key=lambda p: p[0]) + log_string(f"current accuracies {a}") + + # select the model with lowest accuracy + models.sort(key=lambda model: model.main_test_accuracy) + model = models[0] + + log_string( + f"training model {model.id} main_test_accuracy {model.main_test_accuracy}" + ) + + # improve it + one_epoch(model, task) + + log_string( + f"train_set_composition world {task.nb_batch_samples_world} quizzes {task.nb_batch_samples_quizzes}" + ) + + # test it + run_tests(model, task, deterministic_synthesis=False) + + if model.main_test_accuracy >= accuracy_to_make_quizzes: + other_models = models.copy() + other_models.remove(model) + + create_quizzes( + model, + other_models, + task, + nb_for_train=nb_new_quizzes_for_train, + nb_for_test=nb_new_quizzes_for_test, + ) + + # We update everyone + for model in models: + run_tests(model, task, deterministic_synthesis=False) - checkpoint_name = os.path.join(args.result_dir, args.checkpoint_name) - torch.save(checkpoint, checkpoint_name) - log_string(f"saved checkpoint {checkpoint_name}") ######################################################################