gblackout/LogicLLaMA

Large language model and dataset for natural language to first-order logic translation

语言：Jupyter Notebook · GitHub 星标：80 · Fork：6

在 GitHub 上查看原仓库