| Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP) | Nov 17, 2022 | Formal LogicPosition | —Unverified | 0 | 0 |
| Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning | Sep 25, 2024 | BenchmarkingFormal Logic | —Unverified | 0 | 0 |
| ProSLM : A Prolog Synergized Language Model for explainable Domain Specific Knowledge Based Question Answering | Sep 17, 2024 | Formal LogicLanguage Modeling | —Unverified | 0 | 0 |
| Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification | Mar 27, 2025 | Automated Theorem ProvingFormal Logic | —Unverified | 0 | 0 |
| Rulebreakers Challenge: Revealing a Blind Spot in Large Language Models' Reasoning with Formal Logic | Oct 21, 2024 | Formal LogicWorld Knowledge | —Unverified | 0 | 0 |
| Service Choreography, SBVR, and Time | Dec 24, 2015 | Formal LogicService Composition | —Unverified | 0 | 0 |
| Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description) | Apr 21, 2020 | Automated Theorem ProvingBIG-bench Machine Learning | —Unverified | 0 | 0 |
| SocraSynth: Multi-LLM Reasoning with Conditional Statistics | Jan 19, 2024 | Decision MakingFormal Logic | —Unverified | 0 | 0 |
| Stateless and Rule-Based Verification For Compliance Checking Applications | Apr 14, 2022 | Formal Logic | —Unverified | 0 | 0 |
| The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem | Mar 10, 2016 | Formal LogicJurisprudence | —Unverified | 0 | 0 |
