Fondamentaux du langage Lambda : un outil benchmark pour l'IA
Les benchmarks basés sur lambda calculus testent la compréhension formelle et abstraite des systèmes IA. Cet intérêt nouveau croise informatique théorique et évaluation pratique des modèles modernes.