Cite
Notes
Only stored in your browser.
Attribution
Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
arXiv 2024
from 1 papers
Eunho Yang
Gyeongman Kim
Hyun Ryu