Neuro-Symbolic Reasoning with Multiple Large Language Models Combined by First-Order Logic.

Jieun Kim, Sung-Bae Cho

Browse the full HAIS paper archive.