policy

olmo-3-7b-lean-prover-dpo

VladShash · PyTorch

or hover any field below to flag it

Overview

Name
olmo-3-7b-lean-prover-dpo
Author
VladShash
Framework
PyTorch
License
unknown
Skill type
other
Evidence level
reported
Task description
Policy model from VladShash. Tags: transformers, safetensors, olmo3, text-generation, generated_from_trainer.

Spaces

Action space
other · 0-dim · 0Hz
Observation space
  • type: other

Links

Compatible robots

19

Compatible environments

0

No environments list olmo-3-7b-lean-prover-dpo yet.

Datasets that reference this policy

0

No datasets reference olmo-3-7b-lean-prover-dpo yet.