| Inference of Abstraction for a Unified Account of Symbolic Reasoning from Data | Feb 13, 2024 | Formal LogicRelation | —Unverified | 0 |
| SocraSynth: Multi-LLM Reasoning with Conditional Statistics | Jan 19, 2024 | Decision MakingFormal Logic | —Unverified | 0 |
| Formal Logic Enabled Personalized Federated Learning Through Property Inference | Jan 15, 2024 | Federated LearningFormal Logic | —Unverified | 0 |
| Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic | Aug 11, 2023 | Formal LogicLogical Reasoning | CodeCode Available | 1 |
| RealCQA: Scientific Chart Question Answering as a Test-bed for First-Order Logic | Aug 3, 2023 | Chart Question AnsweringFormal Logic | CodeCode Available | 0 |
| Leveraging Large Language Models to Generate Answer Set Programs | Jul 15, 2023 | Formal LogicIn-Context Learning | CodeCode Available | 1 |
| Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation | May 24, 2023 | Formal LogicGPU | CodeCode Available | 1 |
| A Simple Generative Model of Logical Reasoning and Statistical Learning | May 18, 2023 | Bayesian InferenceFormal Logic | —Unverified | 0 |
| Generative Logic with Time: Beyond Logical Consistency and Statistical Possibility | Jan 20, 2023 | Formal Logic | —Unverified | 0 |
| Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP) | Nov 17, 2022 | Formal LogicPosition | —Unverified | 0 |
