{"total":34,"rows":[{"id":"2205.11502","title":"On the Paradox of Learning to Reason from Data","created":"2022-05-23","cited_by_count":93,"area":"lr"},{"id":"2304.04812","title":"Scallop: A Language for Neurosymbolic Programming","created":"2023-04-10","cited_by_count":63,"area":"lr"},{"id":"2201.12382","title":"Deep Learning Methods for Abstract Visual Reasoning: A Survey on Raven's Progressive Matrices","created":"2022-01-28","cited_by_count":37,"area":"lr"},{"id":"2205.14268","title":"NeuPSL: Neural Probabilistic Soft Logic","created":"2022-05-27","cited_by_count":34,"area":"lr"},{"id":"2205.15213","title":"Backpropagation through Combinatorial Algorithms: Identity with Projection Works","created":"2022-05-30","cited_by_count":29,"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":"2410.20957","title":"Neuro-symbolic Learning Yielding Logical Constraints","created":"2024-10-28","cited_by_count":12,"area":"lr"},{"id":"2303.11730","title":"Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices","created":"2023-03-21","cited_by_count":9,"area":"lr"},{"id":"2412.08457","title":"Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection","created":"2024-12-11","cited_by_count":9,"area":"lr"},{"id":"2411.00773","title":"LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation","created":"2024-11-01","cited_by_count":8,"area":"lr"},{"id":"2308.10487","title":"Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees","created":"2023-08-21","cited_by_count":6,"area":"lr"},{"id":"2402.11903","title":"DiLA: Enhancing LLM Tool Learning with Differential Logic Layer","created":"2024-02-19","cited_by_count":6,"area":"lr"},{"id":"2502.01989","title":"VFScale: Intrinsic Reasoning through Verifier-Free Test-time Scalable Diffusion Model","created":"2025-02-04","cited_by_count":6,"area":"lr"},{"id":"2202.04161","title":"Logical Reasoning for Task Oriented Dialogue Systems","created":"2022-02-08","cited_by_count":5,"area":"lr"},{"id":"2305.07617","title":"Scalable Coupling of Deep Learning with Logical Reasoning","created":"2023-05-12","cited_by_count":4,"area":"lr"},{"id":"2503.21937","title":"Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming","created":"2025-03-27","cited_by_count":4,"area":"lr"},{"id":"2211.07727","title":"Logical Tasks for Measuring Extrapolation and Rule Comprehension","created":"2022-11-14","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":"2312.11651","title":"Bridging Logic and Learning: A Neural-Symbolic Approach for Enhanced Reasoning in Neural Models (ASPER)","created":"2023-12-18","cited_by_count":3,"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":"2402.03663","title":"Symbol Correctness in Deep Neural Networks Containing Symbolic Layers","created":"2024-02-06","cited_by_count":1,"area":"lr"},{"id":"2505.20313","title":"Reasoning in Neurosymbolic AI","created":"2025-05-22","cited_by_count":1,"area":"lr"},{"id":"2509.07665","title":"DeepGraphLog for Layered Neurosymbolic AI","created":"2025-09-09","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":"2603.09221","title":"Beyond Test-Time Memory: State-Space Optimal Control for LLM Reasoning","created":"2026-03-10","cited_by_count":1,"area":"lr"},{"id":"2301.11435","title":"Learning Modulo Theories","created":"2023-01-26","cited_by_count":0,"area":"lr"},{"id":"2511.11712","title":"Reasoning: From Reflection to Solution","created":"2025-11-12","cited_by_count":0,"area":"lr"},{"id":"2603.18436","title":"AS2 -- Attention-Based Soft Answer Sets: An End-to-End Differentiable Neuro-Soft-Symbolic Reasoning Architecture","created":"2026-03-19","cited_by_count":0,"area":"lr"},{"id":"2604.07897","title":"Visual Perceptual to Conceptual First-Order Rule Learning Networks","created":"2026-04-09","cited_by_count":0,"area":"lr"},{"id":"2605.19895","title":"Streamlined Constraint Reasoning via CNN Pattern Recognition on Enumerated Solutions","created":"2026-05-19","cited_by_count":0,"area":"lr"},{"id":"2606.26476","title":"Retrieval-Warmed Energy-Based Reasoning: A Five-Arm Ablation Methodology for Diffusion-as-Inference on Structured Reasoning Tasks","created":"2026-06-25","cited_by_count":0,"area":"lr"},{"id":"2607.02491","title":"G-RRM: Guiding Symbolic Solvers with Recurrent Reasoning Models","created":"2026-07-02","cited_by_count":0,"area":"lr"},{"id":"2609.32927","title":"The Geometry of Logic: Stratification Induces Semantic Structure and Robust Reasoning","created":"2026-09-26","cited_by_count":0,"area":"lr"},{"id":"2609.36126","title":"Reasoning with Neural Cellular Automata","created":"2026-09-28","cited_by_count":0,"area":"lr"}],"next_cursor":null}