#Z3

1 stories · 1 in 7 days · 1 in 30 days

LGMT 1 LLM评测 1 开源工具 1 逻辑推理 1

Stories, products and papers tagged "Z3", newest first.

Oct 26

Papers Builders09:11

Chinese contentLGMT 开源工具：测出 LLM 逻辑推理不一致率 20%-29%

一个测 LLM 逻辑一致性的开源工具，不需要标注答案就能跑，还带离线模式，做模型评测的可以试试。

#LGMT #Z3 #LLM评测 #逻辑推理

arXiv cs.AI@Zenghui Zhou et al. (3)Source