ProverGen
opendatalab/ProverGen
[ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation"
47stars
Forks
7
Open issues
4
Watchers
47
Size
11.8 MB
Python
Created: Feb 8, 2025
Updated: Oct 6, 2026
Last push: Jun 11, 2025