Model comparison
satp-policy-v4.27 vs Claude 4 Sonnet
Capability radar, value bars, and side-by-side posture.
satp-policy-v4.27
Not scored
value score
Claude 4 Sonnet
91
value score
satp-policy-v4.27 ctx
—
Claude 4 Sonnet ctx
200K
Capability radar
Value · context · multimodal · openness · speed posture
Value head-to-head
- Claude 4 Sonnet91
Attribute tape
| Field | satp-policy-v4.27 | Claude 4 Sonnet |
|---|---|---|
| Developer | ChristianZ97 | Anthropic |
| Context | — | 200K |
| Modalities | Text, Code, Image | |
| Openness | — | Proprietary Model |
| Speed | — | Fast |
| Price | — | $3/1M in · $15/1M out |
| Value score | — | 91 |
| Summary | 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. | Balanced Claude model for coding and agents. |