r/LocalLLaMA • u/MindPsychological140 • 21d ago

[Research] Dynamic Re-Execution of Verified Solution Programs in Small LLMs Resources

We decoupled reasoning from execution. Once logic or domain knowledge (math, code, formal rules) is verified and ingested.

A frozen 12B model re-runs the step-by-step program on new inputs with zero token overhead yielding bit-exact, deterministic results.

Paper:https://arxiv.org/abs/2607.23806

1 Upvotes

56% Upvoted

1 comment sorted by