Chinese contentwebAI发布TwIL-LM：1.7B和3B形式逻辑模型，本地硬件自动形式化
想本地跑形式逻辑？TwIL-LM 1.7B和3B能翻译英文到一阶逻辑，3B只要4GB显存，但注意基准分数是未发布版本的。
#TwIL-LM
1 stories · 0 in 7 days · 0 in 30 days
Stories, products and papers tagged "TwIL-LM", newest first.
Aug 11
想本地跑形式逻辑？TwIL-LM 1.7B和3B能翻译英文到一阶逻辑，3B只要4GB显存，但注意基准分数是未发布版本的。
