Hugging Face model: ChristianZ97/satp-policy-goal-mnetlab731
Author: ChristianZ97
Created: 2026-05-12 08:27:41
Last modified: 2026-05-12 10:57:33
Pipeline: reinforcement-learning
Likes: 0 | Downloads: 0
Tags: lean4, theorem-proving, aesop, reinforcement-learning, lora, en, license:mit, region:us
Card metadata:
license: mit
language: en
tags: lean4, theorem-proving, aesop, reinforcement-learning, lora