Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2502.06563
Cited By
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
10 February 2025
Chengwen Qi
Ren Ma
Bowen Li
He Du
Binyuan Hui
Jinwang Wu
Yuanjun Laili
Conghui He
ReLM
LRM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation"
1 / 1 papers shown
Title
MCP-Solver: Integrating Language Models with Constraint Programming Systems
Stefan Szeider
33
0
0
31 Dec 2024
1
