Goedel-LM

/

Goedel-Formalizer-32B-LeanWorkbookAnnotated

like 0

Follow

Goedel-LM 19

• "transformers.trainer_pt_utils.AcceleratorConfig",
• "transformers.trainer_utils.IntervalStrategy",
• "torch.bfloat16",
• "accelerate.state.PartialState",
• "transformers.integrations.deepspeed.HfDeepSpeedConfig",
• "trl.trainer.sft_config.SFTConfig",
• "torch.device",
• "accelerate.utils.dataclasses.DistributedType",
• "transformers.training_args.OptimizerNames",
• "transformers.trainer_utils.HubStrategy",
• "accelerate.utils.dataclasses.DeepSpeedPlugin",
• "transformers.trainer_utils.SchedulerType",
• "transformers.integrations.deepspeed.HfTrainerDeepSpeedConfig"

How to fix it?