{"total":35,"rows":[{"id":"2210.01240","title":"Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought","created":"2022-10-03","cited_by_count":337,"area":"lr"},{"id":"2205.14268","title":"NeuPSL: Neural Probabilistic Soft Logic","created":"2022-05-27","cited_by_count":34,"area":"lr"},{"id":"2203.10261","title":"FaiRR: Faithful and Robust Deductive Reasoning over Natural Language","created":"2022-03-19","cited_by_count":29,"area":"lr"},{"id":"2205.12598","title":"RobustLR: Evaluating Robustness to Logical Perturbation in Deductive Reasoning","created":"2022-05-25","cited_by_count":22,"area":"lr"},{"id":"2208.11561","title":"Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions","created":"2022-08-24","cited_by_count":21,"area":"lr"},{"id":"2205.11432","title":"Logical Reasoning with Span-Level Predictions for Interpretable and Robust NLI Models","created":"2022-05-23","cited_by_count":18,"area":"lr"},{"id":"2305.03742","title":"Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming","created":"2023-05-05","cited_by_count":18,"area":"lr"},{"id":"2209.07662","title":"NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning","created":"2022-09-16","cited_by_count":16,"area":"lr"},{"id":"2207.14000","title":"Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation","created":"2022-07-28","cited_by_count":15,"area":"lr"},{"id":"2307.00928","title":"Learning Differentiable Logic Programs for Abstract Visual Reasoning","created":"2023-07-03","cited_by_count":12,"area":"lr"},{"id":"2306.04031","title":"Certified Deductive Reasoning with Language Models","created":"2023-06-06","cited_by_count":8,"area":"lr"},{"id":"2306.07743","title":"V-LoL: A Diagnostic Dataset for Visual Logical Learning","created":"2023-06-13","cited_by_count":8,"area":"lr"},{"id":"2305.13179","title":"Teaching Probabilistic Logical Reasoning to Transformers","created":"2023-05-22","cited_by_count":7,"area":"lr"},{"id":"2203.05843","title":"An Interpretable Neuro-Symbolic Reasoning Framework for Task-Oriented Dialogue Generation","created":"2022-03-11","cited_by_count":5,"area":"lr"},{"id":"2410.03348","title":"Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning","created":"2024-10-04","cited_by_count":5,"area":"lr"},{"id":"2211.11650","title":"Neural Meta-Symbolic Reasoning and Learning","created":"2022-11-21","cited_by_count":4,"area":"lr"},{"id":"2303.05148","title":"Weakly Supervised Knowledge Transfer with Probabilistic Logical Reasoning for Object Detection","created":"2023-03-09","cited_by_count":3,"area":"lr"},{"id":"2310.02133","title":"Learning Reliable Logical Rules with SATNet","created":"2023-10-03","cited_by_count":3,"area":"lr"},{"id":"2405.13640","title":"Knowledge Graph Reasoning with Self-supervised Reinforcement Learning","created":"2024-05-22","cited_by_count":3,"area":"lr"},{"id":"2501.01246","title":"Large Language Model-Enhanced Symbolic Reasoning for Knowledge Base Completion","created":"2025-01-02","cited_by_count":2,"area":"lr"},{"id":"2211.12006","title":"Differentiable Fuzzy $\\mathcal{ALC}$: A Neural-Symbolic Representation Language for Symbol Grounding","created":"2022-11-22","cited_by_count":1,"area":"lr"},{"id":"2302.08148","title":"Empirical Investigation of Neural Symbolic Reasoning Strategies","created":"2023-02-16","cited_by_count":1,"area":"lr"},{"id":"2509.21663","title":"Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration","created":"2025-09-25","cited_by_count":1,"area":"lr"},{"id":"2204.08810","title":"RNNCTPs: A Neural Symbolic Reasoning Method Using Dynamic Knowledge Partitioning Technology","created":"2022-04-19","cited_by_count":0,"area":"lr"},{"id":"2508.03170","title":"Quantum Spectral Reasoning: A Non-Neural Architecture for Interpretable Machine Learning","created":"2025-08-05","cited_by_count":0,"area":"lr"},{"id":"2508.19271","title":"Rethinking Reasoning in LLMs: Neuro-Symbolic Local RetoMaton Beyond ICL and CoT","created":"2025-08-22","cited_by_count":0,"area":"lr"},{"id":"2509.07017","title":"From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning","created":"2025-09-07","cited_by_count":0,"area":"lr"},{"id":"2511.08581","title":"DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs","created":"2025-11-11","cited_by_count":0,"area":"lr"},{"id":"2512.04228","title":"Addressing Logical Fallacies In Scientific Reasoning From Large Language Models: Towards a Dual-Inference Training Framework","created":"2025-12-03","cited_by_count":0,"area":"lr"},{"id":"2512.07871","title":"Quantum Circuit Reasoning Models: A Variational Framework for Differentiable Logical Inference","created":"2025-11-26","cited_by_count":0,"area":"lr"},{"id":"2601.17188","title":"Implementing Tensor Logic: Unifying Datalog and Neural Reasoning via Tensor Contraction","created":"2026-01-23","cited_by_count":0,"area":"lr"},{"id":"2602.14890","title":"Lifted Relational Probabilistic Inference via Implicit Learning","created":"2026-02-16","cited_by_count":0,"area":"lr"},{"id":"2605.25566","title":"Uncertainty Reasoning with Large Language Models for Explainable Disease Diagnosis","created":"2026-05-25","cited_by_count":0,"area":"lr"},{"id":"2606.14463","title":"EM-NeSy: Expectation Maximization for Neurosymbolic Learning","created":"2026-06-12","cited_by_count":0,"area":"lr"},{"id":"2607.20402","title":"SoftReason: A Fully Differentiable Neuro-Soft-Symbolic Deductive Reasoning Architecture over High-Dimensional Perceptual Data","created":"2026-07-22","cited_by_count":0,"area":"lr"}],"next_cursor":null}