Loading Open Internet
    TwIL-LM3, 3B formal reasoning specialist that runs on a Raspberry Pi, tested against gpt-oss-120b