amazon-LAR-9B-GGUF

LAR-9B is a 9-billion-parameter open-weights agentic language model developed by Amazon, post-trained from Qwen/Qwen3.5-9B (Apache 2.0) on a license-filtered subset of the SWE-rebench dataset to tackle complex, long-horizon software engineering and terminal-usage tasks. Rather than relying solely on sparse outcome rewards, the model is trained using the Lean4AgenticRL framework, which grounds open-ended agentic reinforcement learning in a unified Lean 4 formalization schema. This approach constructs problem-specific workflows and provides verifiable, multi-level process rewards—spanning low-level tool-call behavior, mid-level workflow-stage progress, and final task outcomes—to drive credit assignment via workflow-stage-normalized Group Relative Policy Optimization (GRPO). By combining formal verification with multi-stage RL, LAR-9B delivers strong performance for its size class, achieving 64.2% on SWE-Bench-Verified, 32.8% on TerminalBench-2.0, and 29.5% on TerminalBench-2.1.

MTP — Speculative Decoding: No

Model Files

File Name Quant Type File Size File Link Description
LAR-9B.BF16.gguf BF16 17.9 GB Link Full BF16 weights. Highest quality, largest file size.
LAR-9B.Q3_K_L.gguf Q3_K_L 4.93 GB Link Lower quality but usable, good for low RAM availability.
LAR-9B.Q3_K_M.gguf Q3_K_M 4.62 GB Link Low quality.
LAR-9B.Q4_K_M.gguf Q4_K_M 5.63 GB Link Good quality, default size for most use cases, recommended.
LAR-9B.Q4_K_S.gguf Q4_K_S 5.35 GB Link Slightly lower quality with more space savings, recommended.
LAR-9B.Q5_K_M.gguf Q5_K_M 6.47 GB Link High quality, recommended.
LAR-9B.Q5_K_S.gguf Q5_K_S 6.31 GB Link High quality, recommended.
LAR-9B.Q6_K.gguf Q6_K 7.36 GB Link Very high quality, near perfect, recommended.
LAR-9B.Q8_0.gguf Q8_0 9.53 GB Link Extremely high quality, generally unneeded but max available quant.

llama.cpp

LLM inference in C/C++ — https://github.com/ggml-org/llama.cpp

Downloads last month
-
GGUF
Model size
9B params
Architecture
qwen35
Hardware compatibility
Log In to add your hardware

3-bit

4-bit

5-bit

6-bit

8-bit

16-bit

Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support

Model tree for prithivMLmods/amazon-LAR-9B-GGUF

Finetuned
Qwen/Qwen3.5-9B
Finetuned
amazon/LAR-9B
Quantized
(1)
this model

Collection including prithivMLmods/amazon-LAR-9B-GGUF