Ethosoft-Math

Matematik çözümlerindeki her hesabı doğrulanmış bir araç çağrısına (tool-use) çeviren kütüphane. Turn math solutions into verified tool-use traces: 3 + 4 = 7 → add(3, 4) → 7.

import ethosoft_math as em

em.convert("Toplam 3 + 4 = 7 elma.")
# 'Toplam <tool_call>add(3, 4)</tool_call><tool_result>7</tool_result> elma.'

em.execute('solve("x^2 - 4 = 0", "x")')   # '[-2, 2]'
em.verify(em.convert(text))               # (cagri_sayisi, hatali_sayisi)

Neden

LLM'e hesabı "kafadan" yaptırmak yerine aracı çağırtmak için eğitim verisi üretirsin. Her çağrı, çevirme anında yeniden çalıştırılıp doğrulanır; tutmayan hiçbir şey çıktıya girmez. Veride yanlış olan eşitlikler (2 + 2 = 5) olduğu gibi bırakılır.

Protokol

<tool_call>FONKSIYON(arg1, arg2, ...)</tool_call><tool_result>SONUC</tool_result>

• Operatörler: + add, - sub, * mul, / div, ^ pow, ! fact, √ sqrt
• Gruplar: aritmetik, yüzde, sayı teorisi, üs/log, trigonometri, geometri, olasılık/istatistik, diziler (sum_range, arith_sum), cebir (solve, expand, factor, equal), analiz, lineer cebir, fonksiyon tanımlama (define).
• Tam liste: ethosoft-math protocol

Komut satırı

ethosoft-math exec "mul(add(3, 4), 2)"
ethosoft-math protocol > PROTOCOL.md
ethosoft-math convert in.jsonl out.jsonl --field solution

Çalışma modları

Sınırlar

• Python/PoT kodu içeren çözümlere dokunmaz.
• İspat ve sözel anlatım satırlarında çağrı üretilmez (hesap yoktur).
• Çeviri modelinden önce çalıştırılmalıdır; araç blokları çeviriden korunmalıdır.

Lisans: MIT