本文介绍了与一阶逻辑（FOL）和本体推理相关的工具和方法，包括 Gavel、Shape Expressions Language 2.0、FOLIO 数据集和 LogicLLaMA 算法。这些研究旨在提高自然语言推理的有效性和准确性，并探讨自然语言与逻辑规则之间的转换。