shipitsteven

Logic-LM (Answer Set Programming)

shipitsteven

3

Logic-LM (Answer Set Programming) boosts language models with formal logical reasoning and multi-step deduction via Clin