Token-Efficient Logical Supervision for Mathematical Reasoning

1 point · 0 visible top comments · 2026-10-27 20:03:11 UTC

arxiv.org · Read Story HN original