2025 11 01

Created on November 01, 2025

2025

(Nov 2025) 1 papers (testing LLM's logic reasoning with logic programming oracles, led by Yuekang) accepted to appear at AAAI 2026.