Artificial Intelligence · Computer Science
Design and Results of the Second International Competition on Computational Models of Argumentation
Sarah A. Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
2019-09-04
Computation and Language · Computer Science
ICPC-Eval: Probing the Frontiers of LLM Reasoning with Competitive Programming Contests
Shiyi Xu, Yiwen Hu, Yingqian Min, Zhipeng Chen +2
2025-06-06
Computation and Language · Computer Science
LLM-ProS: Analyzing Large Language Models' Performance in Competitive Problem Solving
Md Sifat Hossain, Anika Tabassum, Md. Fahim Arefin, Tarannum Shaila Zaman
2026-03-03
Computation and Language · Computer Science
Exploring the Potential of Large Language Models in Computational Argumentation
Guizhen Chen, Liying Cheng, Luu Anh Tuan, Lidong Bing
2024-07-02
Artificial Intelligence · Computer Science
MathArena: Evaluating LLMs on Uncontaminated Math Competitions
Mislav Balunović, Jasper Dekoninck, Ivo Petrov, Nikola Jovanović +1
2026-01-16
Artificial Intelligence · Computer Science
Contestable AI needs Computational Argumentation
Francesco Leofante, Hamed Ayoobi, Adam Dejl, Gabriel Freedman +9
2026-05-08
Software Engineering · Computer Science
Computational Thinking Reasoning in Large Language Models
Kechi Zhang, Ge Li, Jia Li, Huangzhao Zhang +8
2025-06-05
Artificial Intelligence · Computer Science
Which algorithm to select in sports timetabling?
David Van Bulck, Dries Goossens, Jan-Patrick Clarner, Angelos Dimitsas +6
2024-07-08
Logic in Computer Science · Computer Science
Proceedings 37th International Conference on Logic Programming (Technical Communications)
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik +6
2021-09-17
Logic in Computer Science · Computer Science
Proceedings 38th International Conference on Logic Programming
Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl +2
2022-08-05
Artificial Intelligence · Computer Science
A Unifying Framework for Learning Argumentation Semantics
Zlatina Mileva, Antonis Bikakis, Fabio Aurelio D'Asaro, Mark Law +1
2025-03-05
Logic in Computer Science · Computer Science
Proceedings 35th International Conference on Logic Programming (Technical Communications)
Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano +6
2019-09-18
Computation and Language · Computer Science
ArgBench: Benchmarking LLMs on Computational Argumentation Tasks
Yamen Ajjour, Carlotta Quensel, Nedim Lipka, Henning Wachsmuth
2026-04-21
Neural and Evolutionary Computing · Computer Science
Computational Optimization, Modelling and Simulation: Recent Trends and Challenges
Xin-She Yang, Slawomir Koziel, Leifur Leifsson
2014-04-04
Computation and Language · Computer Science
Competition of Mechanisms: Tracing How Language Models Handle Facts and Counterfactuals
Francesco Ortu, Zhijing Jin, Diego Doimo, Mrinmaya Sachan +2
2024-06-10
Logic in Computer Science · Computer Science
Proceedings 36th International Conference on Logic Programming (Technical Communications)
Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone +8
2020-09-22