Author:Andrija Urošević

Publications
Benchmarking LLMs Against TPTP: A Vision for the Near Future Andrija Urošević, Gordan Đurić and Sana Stojanović-Đurđević In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)