Ramya Keerthy Thatikonda

Cette étude compare des LLMs intégrés avec différents solveurs symboliques pour des tâches de raisonnement logique.

Améliorer la précision de la traduction du langage naturel vers la logique du premier ordre.