| Differentiable Logics for Neural Network Training and Verification | Jul 14, 2022 | Formal Logic | —Unverified | 0 |
| Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic | Feb 22, 2024 | Formal LogicKnowledge Distillation | —Unverified | 0 |
| Expressing High-Level Scientific Claims with Formal Semantics | Sep 27, 2021 | ArticlesFormal Logic | —Unverified | 0 |
| Formal Logic Enabled Personalized Federated Learning Through Property Inference | Jan 15, 2024 | Federated LearningFormal Logic | —Unverified | 0 |
| Formal Logic-guided Robust Federated Learning against Poisoning Attacks | Nov 5, 2024 | Federated LearningFormal Logic | —Unverified | 0 |
| From An LLM Swarm To A PDDL-Empowered HIVE: Planning Self-Executed Instructions In A Multi-Modal Jungle | Dec 17, 2024 | AI AgentFormal Logic | —Unverified | 0 |
| From Data to Commonsense Reasoning: The Use of Large Language Models for Explainable AI | Jul 4, 2024 | Explainable artificial intelligenceExplainable Artificial Intelligence (XAI) | —Unverified | 0 |
| Generative Logic with Time: Beyond Logical Consistency and Statistical Possibility | Jan 20, 2023 | Formal Logic | —Unverified | 0 |
| Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs | Feb 4, 2025 | Formal LogicKnowledge Graphs | —Unverified | 0 |
| Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity | May 26, 2025 | Formal Logic | —Unverified | 0 |
