TY  - RPRT
TI  - DIALEVAL: Automated Type-Theoretic Evaluation of LLM Instruction Following
AU  - Nardine Basta
AU  - Dali Kaafar
PY  - 2026
UR  - https://arxiv.org/abs/2603.03321
ID  - 2603.03321
ER  -