Could ThinkingCap be combined with Amazon LAR-27B for stronger agentic coding?

#8
by Schestex - opened

Hi BottleCap team,

first of all, thank you for ThinkingCap-Qwen3.8-27B!

The reduction in reasoning tokens while preserving most of the original model's capabilities is particularly valuable for local coding agents.

I recently came across Amazon's new LAR-27B (Lean4AgenticRL):

https://huggingface.co/amazon/LAR-27B

Amazon reports some very interesting agentic coding results:

SWE-bench Verified: 84.2%
Terminal-Bench 2.0: 68.2%
Terminal-Bench 2.1: 77.3%

LAR-27B uses multi-level process rewards to improve agentic software-engineering behavior, including tool use and multi-step problem-solving.
Since both LAR-27B and ThinkingCap are derived from Qwen3.8-27B, I was wondering whether you would consider combining their strengths.

The ideal result would be a model that preserves:

ThinkingCap's efficient, shorter reasoning traces.
LAR-27B's improved agentic coding and tool-use capabilities.

Strong instruction following and long-context performance.
Compatibility with Qwen3.8's native MTP speculative decoding.

A few technical questions:

Do you think a model merge (e.g., TIES/DARE or another weight-merging approach) could work, or would sequential fine-tuning, distillation, or additional RL be necessary?

Could LAR's agentic capabilities be transferred into ThinkingCap without losing its reasoning-token efficiency?
Would it be feasible to preserve or recover native MTP acceptance after combining the models?

Would you be interested in experimenting with such a combination and evaluating it against both original checkpoints?

My practical use case is running ThinkingCap locally through NInfer on a 24 GB NVIDIA Blackwell GPU, primarily for coding agents, repository modifications, and long tool-use loops.

I believe a ThinkingCap + LAR agentic variant could be a compelling combination of efficient reasoning and strong software-engineering capabilities.

Would this be technically feasible, and is it something your team might consider exploring?

Thanks again for your work!

Sign up or log in to comment