LogicLLM

LOGIC-LM: Boosting Large Language Models with Symbolic Solvers for Faithful Logical Reasoning Project Authors: Maximiliano Galindo, Jesús Vázquez, Francisco López The project is carried out with the support and collaboration of the GIL (Linguistic Engineering Group) of the National Autonomous University of Mexico. Introduction The original article presents a framework that enables large language models

LogicLLM Read More »