formal-ai 0.30.0

Formal symbolic AI proof of concept 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

//! Smoke-test the new arithmetic handler. Run with:
//! `cargo run --example try_arithmetic` after copying this file into examples/.
//! Or run via: `rustc -L target/debug/deps --edition 2021 try_arithmetic.rs ...`
//!
//! Easier path: replicate the prompts through the test runner. This file is
//! a record of the manual probes used while developing the handler.

use formal_ai::FormalAiEngine;

fn main() {
    let prompts = [
        "What is 2 + 2?",
        "Calculate 7 * (3 + 4)",
        "What is 10 / 3",
        "Compute 100 - 25 % 7",
        "How much is 1.5 + 2.5?",
        "What is 10 plus 20 times 3?",
        "What is 5 / 0?",
        "Hi",
    ];
    for prompt in prompts {
        let response = FormalAiEngine.answer(prompt);
        println!("---");
        println!("prompt   : {prompt}");
        println!("intent   : {}", response.intent);
        println!("answer   : {}", response.answer);
        println!("confidence: {:.2}", response.confidence);
    }
}