reference
Liangming Pan, Alon Albalak, Xinyi Wang, and William Yang Wang introduced Logic-LM, a framework for empowering large language models with symbolic solvers for faithful logical reasoning, in 2023.

Authors

Sources

Referenced by nodes (2)