{"total":161,"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":"2102.06203","title":"Proof Artifact Co-training for Theorem Proving with Language Models","created":"2021-02-11","cited_by_count":132,"area":"offlinerl"},{"id":"2212.05767","title":"A Survey of Knowledge Graph Reasoning on Graph Types: Static, Dynamic, and Multimodal","created":"2022-12-12","cited_by_count":106,"area":null},{"id":"2307.07700","title":"NeurASP: Embracing Neural Networks into Answer Set Programming","created":"2023-07-15","cited_by_count":92,"area":null},{"id":"2310.07064","title":"Large Language Models can Learn Rules","created":"2023-10-10","cited_by_count":69,"area":null},{"id":"2106.12574","title":"DeepStochLog: Neural Stochastic Logic Programming","created":"2021-06-23","cited_by_count":58,"area":null},{"id":"2102.10556","title":"Inductive logic programming at 30","created":"2021-02-21","cited_by_count":47,"area":null},{"id":"2102.11965","title":"Modular Design Patterns for Hybrid Learning and Reasoning Systems: a taxonomy, patterns and use cases","created":"2021-02-23","cited_by_count":39,"area":null},{"id":"2111.08164","title":"A Survey on Neural-symbolic Learning Systems","created":"2021-11-10","cited_by_count":39,"area":null},{"id":"2112.00578","title":"Systematic Generalization with Edge Transformers","created":"2021-12-01","cited_by_count":38,"area":null},{"id":"2102.09756","title":"TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning","created":"2021-02-19","cited_by_count":37,"area":null},{"id":"2112.03324","title":"Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks","created":"2021-12-06","cited_by_count":36,"area":null},{"id":"2406.11179","title":"Learning Iterative Reasoning through Energy Diffusion","created":"2024-06-17","cited_by_count":36,"area":null},{"id":"2210.15889","title":"Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computing","created":"2022-10-28","cited_by_count":35,"area":null},{"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":"2308.12595","title":"Logic-induced Diagnostic Reasoning for Semi-supervised Semantic Segmentation","created":"2023-08-24","cited_by_count":29,"area":null},{"id":"2202.06851","title":"HAKE: A Knowledge Engine Foundation for Human Activity Understanding","created":"2022-02-14","cited_by_count":28,"area":null},{"id":"2111.12990","title":"Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning","created":"2021-11-25","cited_by_count":27,"area":null},{"id":"2103.01719","title":"Differentiable Inductive Logic Programming for Structured Examples","created":"2021-03-02","cited_by_count":26,"area":null},{"id":"2103.10367","title":"Neural Multi-Hop Reasoning With Logical Rules on Biomedical Knowledge Graphs","created":"2021-03-18","cited_by_count":25,"area":null},{"id":"2303.04660","title":"Neural Probabilistic Logic Programming in Discrete-Continuous Domains","created":"2023-03-08","cited_by_count":25,"area":null},{"id":"2311.09817","title":"Neural-Logic Human-Object Interaction Detection","created":"2023-11-16","cited_by_count":25,"area":null},{"id":"2112.13418","title":"Neuro-Symbolic Hierarchical Rule Induction","created":"2021-12-26","cited_by_count":23,"area":null},{"id":"2205.12598","title":"RobustLR: Evaluating Robustness to Logical Perturbation in Deductive Reasoning","created":"2022-05-25","cited_by_count":22,"area":"lr"},{"id":"2402.12309","title":"TILP: Differentiable Learning of Temporal Logical Rules on Knowledge Graphs","created":"2024-02-19","cited_by_count":22,"area":null},{"id":"2208.11561","title":"Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions","created":"2022-08-24","cited_by_count":21,"area":"lr"},{"id":"2302.04496","title":"Dual Algorithmic Reasoning","created":"2023-02-09","cited_by_count":21,"area":null},{"id":"2305.19068","title":"Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints","created":"2023-05-30","cited_by_count":21,"area":null},{"id":"2303.03581","title":"Neural Compositional Rule Learning for Knowledge Graph Reasoning","created":"2023-03-07","cited_by_count":20,"area":null},{"id":"2202.07412","title":"Knowledge Graph Reasoning with Logics and Embeddings: Survey and Perspective","created":"2022-02-15","cited_by_count":18,"area":null},{"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":"2309.08395","title":"Learning by Self-Explaining","created":"2023-09-15","cited_by_count":17,"area":null},{"id":"2309.13556","title":"LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoning","created":"2023-09-24","cited_by_count":17,"area":null},{"id":"2110.09383","title":"Neuro-Symbolic Forward Reasoning","created":"2021-10-18","cited_by_count":16,"area":null},{"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":"2106.13103","title":"FF-NSL: Feed-Forward Neural-Symbolic Learner","created":"2021-06-24","cited_by_count":15,"area":null},{"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":"2308.11991","title":"Relational Concept Bottleneck Models","created":"2023-08-23","cited_by_count":15,"area":null},{"id":"2410.15153","title":"Evaluating Deep Unlearning in Large Language Models","created":"2024-10-19","cited_by_count":14,"area":"safety"},{"id":"2201.12113","title":"HEAT: Hyperedge Attention Networks","created":"2022-01-28","cited_by_count":13,"area":null},{"id":"2302.13114","title":"Sequential Query Encoding For Complex Query Answering on Knowledge Graphs","created":"2023-02-25","cited_by_count":13,"area":null},{"id":"2210.01603","title":"Neural-Symbolic Recursive Machine for Systematic Generalization","created":"2022-10-04","cited_by_count":12,"area":null},{"id":"2305.18015","title":"On the Correspondence Between Monotonic Max-Sum GNNs and Datalog","created":"2023-05-29","cited_by_count":12,"area":null},{"id":"2307.00928","title":"Learning Differentiable Logic Programs for Abstract Visual Reasoning","created":"2023-07-03","cited_by_count":12,"area":"lr"},{"id":"2104.06751","title":"Is Multi-Hop Reasoning Really Explainable? Towards Benchmarking Reasoning Interpretability","created":"2021-04-14","cited_by_count":10,"area":null},{"id":"2210.01910","title":"Learning Signal Temporal Logic through Neural Network for Interpretable Classification","created":"2022-10-04","cited_by_count":10,"area":null},{"id":"2312.11522","title":"Assessing SATNet's Ability to Solve the Symbol Grounding Problem","created":"2023-12-13","cited_by_count":10,"area":null},{"id":"2403.00329","title":"Learning with Logical Constraints but without Shortcut Satisfaction","created":"2024-03-01","cited_by_count":10,"area":null},{"id":"2106.07487","title":"pix2rule: End-to-end Neuro-symbolic Rule Learning","created":"2021-06-14","cited_by_count":9,"area":null},{"id":"2109.06316","title":"Learning Constraints and Descriptive Segmentation for Subevent Detection","created":"2021-09-13","cited_by_count":9,"area":null},{"id":"2111.12038","title":"Learning Symbolic Rules for Reasoning in Quasi-Natural Language","created":"2021-11-23","cited_by_count":9,"area":null},{"id":"2203.04857","title":"Neuro-symbolic Natural Logic with Introspective Revision for Natural Language Inference","created":"2022-03-09","cited_by_count":9,"area":null},{"id":"2402.14123","title":"DeiSAM: Segment Anything with Deictic Prompting","created":"2024-02-21","cited_by_count":9,"area":null},{"id":"2406.01124","title":"Latent Logic Tree Extraction for Event Sequence Explanation from LLMs","created":"2024-06-03","cited_by_count":9,"area":null},{"id":"2106.11417","title":"Interpretable Model-based Hierarchical Reinforcement Learning using Inductive Logic Programming","created":"2021-06-21","cited_by_count":8,"area":null},{"id":"2109.08460","title":"Neural Unification for Logic Reasoning over Natural Language","created":"2021-09-17","cited_by_count":8,"area":null},{"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":"2311.02018","title":"Active Reasoning in an Open-World Environment","created":"2023-11-03","cited_by_count":8,"area":null},{"id":"2507.11127","title":"Defining neurosymbolic AI","created":"2025-07-15","cited_by_count":8,"area":null},{"id":"2105.02486","title":"Towards General Natural Language Understanding with Probabilistic Worldbuilding","created":"2021-05-06","cited_by_count":7,"area":null},{"id":"2109.09566","title":"Combining Rules and Embeddings via Neuro-Symbolic AI for Knowledge Base Completion","created":"2021-09-16","cited_by_count":7,"area":null},{"id":"2111.10625","title":"Explainable Biomedical Recommendations via Reinforcement Learning Reasoning on Knowledge Graphs","created":"2021-11-20","cited_by_count":7,"area":null},{"id":"2112.15319","title":"A Critical Review of Inductive Logic Programming Techniques for Explainable AI","created":"2021-12-31","cited_by_count":7,"area":null},{"id":"2205.06454","title":"R5: Rule Discovery with Reinforced and Recurrent Relational Reasoning","created":"2022-05-13","cited_by_count":7,"area":null},{"id":"2305.13179","title":"Teaching Probabilistic Logical Reasoning to Transformers","created":"2023-05-22","cited_by_count":7,"area":"lr"},{"id":"2503.12663","title":"Logic-RAG: Augmenting Large Multimodal Models with Visual-Spatial Knowledge for Road Scene Understanding","created":"2025-03-16","cited_by_count":7,"area":"mllm"},{"id":"2201.06206","title":"SQUIRE: A Sequence-to-sequence Framework for Multi-hop Knowledge Graph Reasoning","created":"2022-01-17","cited_by_count":6,"area":null},{"id":"2301.04020","title":"Quant 4.0: Engineering Quantitative Investment with Automated, Explainable and Knowledge-driven Artificial Intelligence","created":"2022-12-13","cited_by_count":6,"area":null},{"id":"2305.10113","title":"Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels","created":"2023-05-17","cited_by_count":6,"area":null},{"id":"2104.05435","title":"Neural Network for Weighted Signal Temporal Logic","created":"2021-04-08","cited_by_count":5,"area":null},{"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":"2204.13570","title":"Learning First-Order Rules with Differentiable Logic Program Semantics","created":"2022-04-28","cited_by_count":5,"area":null},{"id":"2302.09458","title":"Learning Language Representations with Logical Inductive Bias","created":"2023-02-19","cited_by_count":5,"area":null},{"id":"2303.08264","title":"Neuro-symbolic Commonsense Social Reasoning","created":"2023-03-14","cited_by_count":5,"area":null},{"id":"2410.03348","title":"Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning","created":"2024-10-04","cited_by_count":5,"area":"lr"},{"id":"2106.00393","title":"Relational Reasoning Networks","created":"2021-06-01","cited_by_count":4,"area":null},{"id":"2106.09225","title":"On the Capabilities of Pointer Networks for Deep Deductive Reasoning","created":"2021-06-17","cited_by_count":4,"area":null},{"id":"2109.05362","title":"Modular Self-Supervision for Document-Level Relation Extraction","created":"2021-09-11","cited_by_count":4,"area":null},{"id":"2211.11650","title":"Neural Meta-Symbolic Reasoning and Learning","created":"2022-11-21","cited_by_count":4,"area":"lr"},{"id":"2302.04599","title":"Principled and Efficient Motif Finding for Structure Learning of Lifted Graphical Models","created":"2023-02-09","cited_by_count":4,"area":null},{"id":"2407.17396","title":"Systematic Relational Reasoning With Epistemic Graph Neural Networks","created":"2024-07-24","cited_by_count":4,"area":null},{"id":"2408.12591","title":"Differentiable Logic Programming for Distant Supervision","created":"2024-08-22","cited_by_count":4,"area":null},{"id":"2504.20020","title":"Modular Machine Learning: An Indispensable Path towards New-Generation Large Language Models","created":"2025-04-28","cited_by_count":4,"area":null},{"id":"2205.15762","title":"Knowledge Enhanced Neural Networks for relational domains","created":"2022-05-31","cited_by_count":3,"area":null},{"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":"2307.02849","title":"NatLogAttack: A Framework for Attacking Natural Language Inference Models with Natural Logic","created":"2023-07-06","cited_by_count":3,"area":null},{"id":"2310.02133","title":"Learning Reliable Logical Rules with SATNet","created":"2023-10-03","cited_by_count":3,"area":"lr"},{"id":"2403.10692","title":"EXPLORER: Exploration-guided Reasoning for Textual Reinforcement Learning","created":"2024-03-15","cited_by_count":3,"area":null},{"id":"2405.13640","title":"Knowledge Graph Reasoning with Self-supervised Reinforcement Learning","created":"2024-05-22","cited_by_count":3,"area":"lr"},{"id":"2506.23924","title":"Performance of LLMs on Stochastic Modeling Operations Research Problems: From Theory to Practice","created":"2025-06-30","cited_by_count":3,"area":null},{"id":"2105.04620","title":"A Description Logic for Analogical Reasoning","created":"2021-05-10","cited_by_count":2,"area":null},{"id":"2202.05403","title":"Learning Temporal Rules from Noisy Timeseries Data","created":"2022-02-11","cited_by_count":2,"area":null},{"id":"2207.07503","title":"Explainable Sparse Knowledge Graph Completion via High-order Graph Reasoning Network","created":"2022-07-14","cited_by_count":2,"area":null},{"id":"2209.04698","title":"Structured Q-learning For Antibody Design","created":"2022-09-10","cited_by_count":2,"area":null},{"id":"2307.00465","title":"Towards Unbiased Exploration in Partial Label Learning","created":"2023-07-02","cited_by_count":2,"area":null},{"id":"2307.14193","title":"Efficient Learning of Discrete-Continuous Computation Graphs","created":"2023-07-26","cited_by_count":2,"area":null},{"id":"2408.10261","title":"Relational Graph Convolutional Networks Do Not Learn Sound Rules","created":"2024-08-14","cited_by_count":2,"area":null}],"next_cursor":"100"}