ML Anthology
Authors
Search
About
Qi, Chengwen
1 publications
ICLR
2025
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
Chengwen Qi
,
Ren Ma
,
Bowen Li
,
He Du
,
Binyuan Hui
,
Jinwang Wu
,
Yuanjun Laili
,
Conghui He