amazon / LAR-27B
Other27B22215Updated Oct 22, 2026
Downloads
222
Likes
15
Last updated
Oct 22, 2026
License
apache-2.0
This is the official model repository for Agentic RL Model with Process Reward with Lean 4 (LAR). ## Model performance
Tags
- qwen3_5
- en