Cite
Notes
Only stored in your browser.
Attribution
Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-based Test Oracles
arXiv 2025
from 1 papers
Dong Gong
Kun Zhang
Yiling Lou
Yuekang Li
Zihao Xu