作者位次 #2/6AAAI 2026Poster· Artificial Intelligence
Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-Based Test Oracles
Zihao Xu · Junchen Ding · Yiling Lou · Kun Zhang · Dong Gong · Yuekang Li