formal-ai 0.167.0

Formal symbolic AI implementation with OpenAI-compatible APIs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87

//! Program-artifact coreference markers shared by write-program recovery.

const PROGRAM_FOLLOW_UP_REFERENTS: &[&str] = &[
    "result",
    "results",
    "output",
    "program",
    "programme",
    "script",
    "code",
    "результат",
    "результата",
    "результаты",
    "результатов",
    "вывод",
    "программа",
    "программу",
    "программы",
    "скрипт",
    "код",
    "परिणाम",
    "परिणामों",
    "नतीजा",
    "नतीजे",
    "आउटपुट",
    "प्रोग्राम",
    "कोड",
    "结果",
    "输出",
    "程序",
    "代码",
];

const PROGRAM_FOLLOW_UP_ACTIONS: &[&str] = &[
    "sort",
    "sorted",
    "reverse",
    "reorder",
    "order",
    "change",
    "modify",
    "update",
    "make",
    "сделай",
    "сделайте",
    "сортировка",
    "сортировку",
    "сортировать",
    "отсортируй",
    "отсортируйте",
    "обратном",
    "обратный",
    "измени",
    "изменить",
    "обнови",
    "क्रमबद्ध",
    "उल्टे",
    "उल्टा",
    "बनाओ",
    "बदलें",
    "बदलो",
    "अपडेट",
    "排序",
    "反向",
    "相反",
    "倒序",
    "修改",
    "改",
    "更新",
];

#[must_use]
pub fn looks_like_bare_program_artifact_follow_up(normalized: &str) -> bool {
    has_any_token(normalized, PROGRAM_FOLLOW_UP_REFERENTS)
        && has_any_token(normalized, PROGRAM_FOLLOW_UP_ACTIONS)
}

fn has_any_token(normalized: &str, tokens: &[&str]) -> bool {
    tokens.iter().any(|token| contains_token(normalized, token))
}

fn contains_token(normalized: &str, expected: &str) -> bool {
    if crate::coding::contains_cjk(expected) {
        return normalized.contains(expected);
    }
    normalized.split_whitespace().any(|token| token == expected)
}