Volume: Vol-4112 CLiC-it 2025 | Year: 2025

Paper: « 67_main_long | 68_main_long | 69_main_long »

Easy to Complete, Hard to Choose: Investigating LLM Performance on the ProverbIT Benchmark

Enrico Mensa
Lorenzo Zane
Calogero Jerik Scozzaro
Matteo Delsanto
Tommaso Milani
Daniele P. Radicioni