Chengwen Qi

1
Papers
25
Total Citations

Papers (1)

Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation

ICLR 2025
25
citations