Hugging Face model: ChristianZ97/satp-policy-v4.27
Author: ChristianZ97
Created: 2026-07-27 07:48:03
Last modified: 2026-08-11 19:52:18
Pipeline: reinforcement-learning
Likes: 0 | Downloads: 0
Tags: reinforcement-learning, theorem-proving, lean4, aesop, arxiv:2506.11487, license:apache-2.0, region:us
Card metadata:
license: apache-2.0
tags: reinforcement-learning, theorem-proving, lean4, aesop