LogicLLaMA. Large language model and dataset for natural language to first-order logic translation
78NLIL. Neural Logic Inductive Learning
44LM-OS. The compressor-retriever architecture for language model OS
15Reason-in-the-Wild. Project repo of "Can LLMs Reason in the Wild with Programs?"
9TSAIL-Web. Home Page for Tsinghua SAIL Group
1logic-adversarial-defense. Implementation of our AAAI 2022 paper "LogicDef: An Interpretable Defense Framework Against Adversarial Examples via Inductive Scene Graph Reasoning"
1prj-cw. Project cw
1EPSGLD. Embarrassingly Parallel SGLD for Large-Scale LDA training
1