https://github.com/opendatalab/provergen
[ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation"
https://github.com/opendatalab/provergen
Last synced: 6 months ago
JSON representation
[ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation"
- Host: GitHub
- URL: https://github.com/opendatalab/provergen
- Owner: opendatalab
- Created: 2025-02-08T03:07:00.000Z (11 months ago)
- Default Branch: main
- Last Pushed: 2025-06-11T10:57:25.000Z (7 months ago)
- Last Synced: 2025-06-25T17:42:56.472Z (7 months ago)
- Language: Python
- Homepage:
- Size: 11.5 MB
- Stars: 29
- Watchers: 2
- Forks: 4
- Open Issues: 0
-
Metadata Files:
- Readme: README.md