satp-policy-v4.27

A reinforcement-learning policy checkpoint for Lean-style automated theorem proving, part of the SATP/Aesop-RL model family developed by ChristianZ97. The model selects proof tactics and lemma configurations during formal proof search. Source: supabase.