Upload 9 files

.gitattributes

@@ -33,3 +33,6 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
 *.zip filter=lfs diff=lfs merge=lfs -text
 *.zst filter=lfs diff=lfs merge=lfs -text
 *tfevents* filter=lfs diff=lfs merge=lfs -text
+verifier/entailmentbank_task1/log.txt filter=lfs diff=lfs merge=lfs -text
+verifier/entailmentbank_task2/log.txt filter=lfs diff=lfs merge=lfs -text
+verifier/ruletaker/log.txt filter=lfs diff=lfs merge=lfs -text

verifier/entailmentbank_task1/config.yaml

@@ -0,0 +1,81 @@
+seed_everything: 1
+trainer:
+  logger: true
+  checkpoint_callback: null
+  enable_checkpointing: true
+  callbacks:
+  - class_path: pytorch_lightning.callbacks.LearningRateMonitor
+    init_args:
+      logging_interval: step
+      log_momentum: false
+  default_root_dir: null
+  gradient_clip_val: null
+  gradient_clip_algorithm: null
+  process_position: 0
+  num_nodes: 1
+  num_processes: null
+  devices: null
+  gpus: 1
+  auto_select_gpus: false
+  tpu_cores: null
+  ipus: null
+  log_gpu_memory: null
+  progress_bar_refresh_rate: null
+  enable_progress_bar: true
+  overfit_batches: 0.0
+  track_grad_norm: -1
+  check_val_every_n_epoch: 1
+  fast_dev_run: false
+  accumulate_grad_batches: null
+  max_epochs: 50
+  min_epochs: null
+  max_steps: -1
+  min_steps: null
+  max_time: null
+  limit_train_batches: null
+  limit_val_batches: null
+  limit_test_batches: null
+  limit_predict_batches: null
+  val_check_interval: null
+  flush_logs_every_n_steps: null
+  log_every_n_steps: 50
+  accelerator: null
+  strategy: null
+  sync_batchnorm: false
+  precision: 32
+  enable_model_summary: true
+  weights_summary: top
+  weights_save_path: null
+  num_sanity_val_steps: 2
+  resume_from_checkpoint: null
+  profiler: null
+  benchmark: null
+  deterministic: false
+  reload_dataloaders_every_n_epochs: 0
+  auto_lr_find: false
+  replace_sampler_ddp: true
+  detect_anomaly: false
+  auto_scale_batch_size: false
+  prepare_data_per_node: null
+  plugins: null
+  amp_backend: native
+  amp_level: null
+  move_metrics_to_cpu: false
+  multiple_trainloader_mode: max_size_cycle
+  stochastic_weight_avg: false
+  terminate_on_nan: null
+model:
+  model_name: roberta-large
+  lr: 1.0e-05
+  warmup_steps: 2000
+  pos_weight: 128.0
+data:
+  dataset: entailmentbank
+  path_train: ../data/entailment_trees_emnlp2021_data_v3/dataset/task_1/train.jsonl
+  path_val: ../data/entailment_trees_emnlp2021_data_v3/dataset/task_1/dev.jsonl
+  batch_size: 128
+  num_workers: 2
+  max_num_premises: 4
+  max_input_len: 256
+  irrelevant_distractors_only: false
+ckpt_path: null

verifier/entailmentbank_task1/epoch=49-step=36300.ckpt

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:47d0914653c108dfe7df0ec504b9c6aaeb855e6d225ae960b7a281c62b69805e
+size 4264733116

verifier/entailmentbank_task1/log.txt

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:de9a2b60ac4b6d36124aba7ce8a68bab441db6e26cd1489c3a7e658ba6c13fa4
+size 10716628

verifier/entailmentbank_task2/config.yaml

@@ -0,0 +1,81 @@
+seed_everything: 1
+trainer:
+  logger: true
+  checkpoint_callback: null
+  enable_checkpointing: true
+  callbacks:
+  - class_path: pytorch_lightning.callbacks.LearningRateMonitor
+    init_args:
+      logging_interval: step
+      log_momentum: false
+  default_root_dir: null
+  gradient_clip_val: null
+  gradient_clip_algorithm: null
+  process_position: 0
+  num_nodes: 1
+  num_processes: null
+  devices: null
+  gpus: 1
+  auto_select_gpus: false
+  tpu_cores: null
+  ipus: null
+  log_gpu_memory: null
+  progress_bar_refresh_rate: null
+  enable_progress_bar: true
+  overfit_batches: 0.0
+  track_grad_norm: -1
+  check_val_every_n_epoch: 1
+  fast_dev_run: false
+  accumulate_grad_batches: null
+  max_epochs: 50
+  min_epochs: null
+  max_steps: -1
+  min_steps: null
+  max_time: null
+  limit_train_batches: null
+  limit_val_batches: null
+  limit_test_batches: null
+  limit_predict_batches: null
+  val_check_interval: null
+  flush_logs_every_n_steps: null
+  log_every_n_steps: 50
+  accelerator: null
+  strategy: null
+  sync_batchnorm: false
+  precision: 32
+  enable_model_summary: true
+  weights_summary: top
+  weights_save_path: null
+  num_sanity_val_steps: 2
+  resume_from_checkpoint: null
+  profiler: null
+  benchmark: null
+  deterministic: false
+  reload_dataloaders_every_n_epochs: 0
+  auto_lr_find: false
+  replace_sampler_ddp: true
+  detect_anomaly: false
+  auto_scale_batch_size: false
+  prepare_data_per_node: null
+  plugins: null
+  amp_backend: native
+  amp_level: null
+  move_metrics_to_cpu: false
+  multiple_trainloader_mode: max_size_cycle
+  stochastic_weight_avg: false
+  terminate_on_nan: null
+model:
+  model_name: roberta-large
+  lr: 1.0e-05
+  warmup_steps: 2500
+  pos_weight: 128.0
+data:
+  dataset: entailmentbank
+  path_train: ../data/entailment_trees_emnlp2021_data_v3/dataset/task_2/train.jsonl
+  path_val: ../data/entailment_trees_emnlp2021_data_v3/dataset/task_2/dev.jsonl
+  batch_size: 128
+  num_workers: 2
+  max_num_premises: 4
+  max_input_len: 256
+  irrelevant_distractors_only: true
+ckpt_path: null

verifier/entailmentbank_task2/epoch=49-step=36300.ckpt

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:0b08900786993b49e7ca7062d5a287028abff3f528c665114c782c864b5a76d0
+size 4264733116

verifier/entailmentbank_task2/log.txt

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:e3858edeb1a9384148f39a15c1fd584a895a83c6f72b7479fa172c0f89a88691
+size 10716251

verifier/ruletaker/config.yaml

@@ -0,0 +1,81 @@
+seed_everything: 1
+trainer:
+  logger: true
+  checkpoint_callback: null
+  enable_checkpointing: true
+  callbacks:
+  - class_path: pytorch_lightning.callbacks.LearningRateMonitor
+    init_args:
+      logging_interval: step
+      log_momentum: false
+  default_root_dir: null
+  gradient_clip_val: null
+  gradient_clip_algorithm: null
+  process_position: 0
+  num_nodes: 1
+  num_processes: null
+  devices: null
+  gpus: 1
+  auto_select_gpus: false
+  tpu_cores: null
+  ipus: null
+  log_gpu_memory: null
+  progress_bar_refresh_rate: null
+  enable_progress_bar: true
+  overfit_batches: 0.0
+  track_grad_norm: -1
+  check_val_every_n_epoch: 1
+  fast_dev_run: false
+  accumulate_grad_batches: null
+  max_epochs: 50
+  min_epochs: null
+  max_steps: -1
+  min_steps: null
+  max_time: null
+  limit_train_batches: null
+  limit_val_batches: null
+  limit_test_batches: null
+  limit_predict_batches: null
+  val_check_interval: null
+  flush_logs_every_n_steps: null
+  log_every_n_steps: 50
+  accelerator: null
+  strategy: null
+  sync_batchnorm: false
+  precision: 32
+  enable_model_summary: true
+  weights_summary: top
+  weights_save_path: null
+  num_sanity_val_steps: 2
+  resume_from_checkpoint: null
+  profiler: null
+  benchmark: null
+  deterministic: false
+  reload_dataloaders_every_n_epochs: 0
+  auto_lr_find: false
+  replace_sampler_ddp: true
+  detect_anomaly: false
+  auto_scale_batch_size: false
+  prepare_data_per_node: null
+  plugins: null
+  amp_backend: native
+  amp_level: null
+  move_metrics_to_cpu: false
+  multiple_trainloader_mode: max_size_cycle
+  stochastic_weight_avg: false
+  terminate_on_nan: null
+model:
+  model_name: roberta-large
+  lr: 5.0e-06
+  warmup_steps: 2500
+  pos_weight: 4.0
+data:
+  dataset: ruletaker
+  path_train: ../data/proofwriter-dataset-V2020.12.3/preprocessed_OWA/depth-3ext/meta-train.jsonl
+  path_val: ../data/proofwriter-dataset-V2020.12.3/preprocessed_OWA/depth-3ext/meta-dev.jsonl
+  batch_size: 128
+  num_workers: 2
+  max_num_premises: 4
+  max_input_len: 128
+  irrelevant_distractors_only: true
+ckpt_path: null

verifier/ruletaker/epoch=49-step=93000.ckpt

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:ed5c7ef3070a678d7b13517d2d0d585a08a17eb46b54f2e49309bd0032a75dd8
+size 4264733884

verifier/ruletaker/log.txt

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:f5cb62d999a3762d827a1e1c49ea6198a6d969be02f2d1f42b0cfd0d8a52d6b7
+size 29216175