Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning

10 October 2024

Eunho Yang

Papers citing "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning"

2 / 2 papers shown

Title
Adaptive Orchestration of Modular Generative Information Access Systems Mohanna Hoveyda Harrie Oosterhuis A. D. Vries Maarten de Rijke Faegheh Hasibi 30 0 0 24 Apr 2025
Entailment-Preserving First-order Logic Representations in Natural Language Entailment Jinu Lee Qi Liu Runzhi Ma Vincent Han Ziqi Wang Heng Ji J. Hockenmaier 40 0 0 24 Feb 2025