Ethosoft-Math 0.1.0__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- ethosoft_math/__init__.py +30 -0
- ethosoft_math/__main__.py +3 -0
- ethosoft_math/cli.py +56 -0
- ethosoft_math/converter.py +1418 -0
- ethosoft_math/protocol.py +858 -0
- ethosoft_math-0.1.0.dist-info/METADATA +72 -0
- ethosoft_math-0.1.0.dist-info/RECORD +10 -0
- ethosoft_math-0.1.0.dist-info/WHEEL +5 -0
- ethosoft_math-0.1.0.dist-info/entry_points.txt +2 -0
- ethosoft_math-0.1.0.dist-info/top_level.txt +1 -0
|
@@ -0,0 +1,72 @@
|
|
|
1
|
+
Metadata-Version: 2.4
|
|
2
|
+
Name: Ethosoft-Math
|
|
3
|
+
Version: 0.1.0
|
|
4
|
+
Summary: Convert math solutions into verified tool-use traces (add(3, 4) -> 7) with an executable math tool protocol.
|
|
5
|
+
Author: Ethosoft
|
|
6
|
+
License: MIT
|
|
7
|
+
Keywords: math,tool-use,llm,dataset,reasoning,sympy,function-calling
|
|
8
|
+
Classifier: Programming Language :: Python :: 3
|
|
9
|
+
Classifier: License :: OSI Approved :: MIT License
|
|
10
|
+
Classifier: Intended Audience :: Science/Research
|
|
11
|
+
Classifier: Topic :: Scientific/Engineering :: Mathematics
|
|
12
|
+
Requires-Python: >=3.9
|
|
13
|
+
Description-Content-Type: text/markdown
|
|
14
|
+
Requires-Dist: sympy>=1.12
|
|
15
|
+
Provides-Extra: test
|
|
16
|
+
Requires-Dist: pytest; extra == "test"
|
|
17
|
+
|
|
18
|
+
# Ethosoft-Math
|
|
19
|
+
|
|
20
|
+
Matematik çözümlerindeki **her hesabı** doğrulanmış bir araç çağrısına (tool-use) çeviren kütüphane.
|
|
21
|
+
Turn math solutions into verified tool-use traces: `3 + 4 = 7` → `add(3, 4)` → `7`.
|
|
22
|
+
|
|
23
|
+
```python
|
|
24
|
+
import ethosoft_math as em
|
|
25
|
+
|
|
26
|
+
em.convert("Toplam 3 + 4 = 7 elma.")
|
|
27
|
+
# 'Toplam <tool_call>add(3, 4)</tool_call><tool_result>7</tool_result> elma.'
|
|
28
|
+
|
|
29
|
+
em.execute('solve("x^2 - 4 = 0", "x")') # '[-2, 2]'
|
|
30
|
+
em.verify(em.convert(text)) # (cagri_sayisi, hatali_sayisi)
|
|
31
|
+
```
|
|
32
|
+
|
|
33
|
+
## Neden
|
|
34
|
+
|
|
35
|
+
LLM'e hesabı "kafadan" yaptırmak yerine aracı çağırtmak için eğitim verisi üretirsin.
|
|
36
|
+
Her çağrı, çevirme anında **yeniden çalıştırılıp doğrulanır**; tutmayan hiçbir şey çıktıya girmez.
|
|
37
|
+
Veride yanlış olan eşitlikler (`2 + 2 = 5`) olduğu gibi bırakılır.
|
|
38
|
+
|
|
39
|
+
## Protokol
|
|
40
|
+
|
|
41
|
+
```
|
|
42
|
+
<tool_call>FONKSIYON(arg1, arg2, ...)</tool_call><tool_result>SONUC</tool_result>
|
|
43
|
+
```
|
|
44
|
+
|
|
45
|
+
- Operatörler: `+` add, `-` sub, `*` mul, `/` div, `^` pow, `!` fact, `√` sqrt
|
|
46
|
+
- Gruplar: aritmetik, yüzde, sayı teorisi, üs/log, trigonometri, geometri, olasılık/istatistik,
|
|
47
|
+
diziler (`sum_range`, `arith_sum`), cebir (`solve`, `expand`, `factor`, `equal`), analiz, lineer cebir,
|
|
48
|
+
fonksiyon tanımlama (`define`).
|
|
49
|
+
- Tam liste: `ethosoft-math protocol`
|
|
50
|
+
|
|
51
|
+
## Komut satırı
|
|
52
|
+
|
|
53
|
+
```bash
|
|
54
|
+
ethosoft-math exec "mul(add(3, 4), 2)"
|
|
55
|
+
ethosoft-math protocol > PROTOCOL.md
|
|
56
|
+
ethosoft-math convert in.jsonl out.jsonl --field solution
|
|
57
|
+
```
|
|
58
|
+
|
|
59
|
+
## Çalışma modları
|
|
60
|
+
|
|
61
|
+
| Mod | Ne yapar |
|
|
62
|
+
|---|---|
|
|
63
|
+
| `convert(text)` (varsayılan) | Yalnızca doğrulanabilen eşitlikleri, denklemleri, eşitsizlikleri, toplamları çevirir |
|
|
64
|
+
| `convert(text, aggressive=True)` | Ek olarak `=` içermeyen salt-sayısal işlemleri de çevirir (küçük ek kapsam, daha gürültülü) |
|
|
65
|
+
|
|
66
|
+
## Sınırlar
|
|
67
|
+
|
|
68
|
+
- Python/PoT kodu içeren çözümlere dokunmaz.
|
|
69
|
+
- İspat ve sözel anlatım satırlarında çağrı üretilmez (hesap yoktur).
|
|
70
|
+
- Çeviri modelinden önce çalıştırılmalıdır; araç blokları çeviriden korunmalıdır.
|
|
71
|
+
|
|
72
|
+
Lisans: MIT
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
ethosoft_math/__init__.py,sha256=KXvIB917gJnnV_Vxsl-88QcvZQbZq1xPTzSJKU59FEA,1063
|
|
2
|
+
ethosoft_math/__main__.py,sha256=bYt9eEaoRQWdejEHFD8REx9jxVEdZptECFsV7F49Ink,30
|
|
3
|
+
ethosoft_math/cli.py,sha256=6_o0bMO9SgPYrC5g6x4qeOLVz7lTckFPkAQD6gCLU8I,2119
|
|
4
|
+
ethosoft_math/converter.py,sha256=B6eDD3dQnuk5xpEl0aj1Yhsmj7yUNDX4m7X-GtG0grs,55203
|
|
5
|
+
ethosoft_math/protocol.py,sha256=CdBrUhkj0kXyLtMgBIEhRR1QXkUXKuf9fp2rCoiy54M,27557
|
|
6
|
+
ethosoft_math-0.1.0.dist-info/METADATA,sha256=dNFezgnBjvejUyxetXB2uQ4zSbZjUDPzX-KKM8q_Dvw,2719
|
|
7
|
+
ethosoft_math-0.1.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
|
|
8
|
+
ethosoft_math-0.1.0.dist-info/entry_points.txt,sha256=UNn7bM0uvkPfwxtApqSrKm8kUSGKltE5W9zCRHidNNo,57
|
|
9
|
+
ethosoft_math-0.1.0.dist-info/top_level.txt,sha256=8PJzGqu4S77jaoq8KmVmQKL5DSBMe50mJXAq2ROjWt4,14
|
|
10
|
+
ethosoft_math-0.1.0.dist-info/RECORD,,
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
ethosoft_math
|