REMEND
udiboy1209 · Kit
Recovers math equations from compiled binary code with a small neural decompiler, and ships the datasets and trained models from its paper. For reverse enginee…
New
AI research skills and agents
Prompts and agents that read the sources on a question and tell you what each one says.
Categories and filters
Listings
Qwen3.6-35B-A3B Claude 4.7 Opus Reasoning Distilled
lordx64 · Kit
Thinks in explicit think blocks before it answers, tuned on about 8k reasoning traces from Claude Opus 4.7. A 35B mixture-of-experts Qwen3.6 variant for hard m…
New
K2-Horizon-0.9B
IFM · Kit
Answers maths, coding and science questions as a compact open reasoning model that reads up to 128K tokens at once. Built by IFM for people who want a small mo…
New
Rostam-S1-4B
officialmobai · Kit
Reasons step by step through math, physics, scientific code and Persian or English questions, with tool calling. A 4.1B model built on Spark-X2.6-4B, for peopl…
New
Quark
FirstPrinciplesLabs · Kit
A 9B reasoning model for physics, science and maths, fine-tuned from Qwen3.5-9B by FirstPrinciples. For researchers who want step-by-step derivations and a sec…
New
Qwen3.5-0.8B-weight-space-programming by ML-Intern-lab
ML-Intern-lab · Kit
Solves math problems step by step with a small Qwen3.5-0.8B model whose weights an LLM edited directly, with no training, to stop repetition loops. For researc…
New
Qwen3.5-0.8B-weight-space-programming
RikiyaT · Kit
Qwen3.5-0.8B with two weight matrices edited by an LLM, with no training, to stop its thinking loops and do better at math. An experimental model for researche…
New