TY  - RPRT
TI  - Easy to Complete, Hard to Choose: Investigating LLM Performance on the ProverbIT Benchmark
AU  - Enrico Mensa
AU  - Lorenzo Zane
AU  - Calogero Jerik Scozzaro
AU  - Matteo Delsanto
AU  - Tommaso Milani
AU  - Daniele Paolo Radicioni
PY  - 2026
UR  - https://arxiv.org/abs/2608.04670
ID  - 2608.04670
ER  -