Festivus

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

HuggingFace repo
VladShash/olmo-3-7b-lean-prover-dpo
Paper (arXiv)
https://arxiv.org/abs/2305.18290

Compatible robots

0+19 mentioned but not in catalog yet

No robots list olmo-3-7b-lean-prover-dpo as compatible yet. Know of one? Flag it above.

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.