Studia Logica: An International Journal for Symbolic Logic, Vol. 84, No. 2, Ways of Worlds 2: On Possible Worlds and Related Notions (Nov., 2006), pp. 171-210 (40 pages) The paper focuses on extending ...
Official source code for "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning", ICLR 2025 [1]. TL;DR: We introduce CLOVER, a neurosymbolic ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback