ZooWork Market · Skill

zhou-et-al-2026-formaljudge

Formal verification approach to LLM evaluation ensuring correctness and consistency in automated judging

◇

curiositech

curiositech-windags-skills-zhou-et-al-2026-formaljudge · v1.0.1

分类ai-llms

安装次数10

更新时间2026-08-25T21:45:41.184Z

校验状态待验证

formal-verificationllm-evaluationjudgingcorrectnessreasoning