{"total":17,"rows":[{"id":"2302.04023","title":"A Multitask, Multilingual, Multimodal Evaluation of ChatGPT on Reasoning, Hallucination, and Interactivity","created":"2023-02-08","cited_by_count":894,"area":"lr"},{"id":"2306.09841","title":"Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and Beyond","created":"2023-06-16","cited_by_count":65,"area":"lr"},{"id":"2304.04812","title":"Scallop: A Language for Neurosymbolic Programming","created":"2023-04-10","cited_by_count":63,"area":"lr"},{"id":"2307.07696","title":"Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text","created":"2023-07-15","cited_by_count":59,"area":"lr"},{"id":"2202.04178","title":"VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming","created":"2022-02-07","cited_by_count":31,"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":"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":"2504.04110","title":"PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement","created":"2025-04-05","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":"2503.21937","title":"Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming","created":"2025-03-27","cited_by_count":4,"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":"2403.01969","title":"AS-ES Learning: Towards Efficient CoT Learning in Small Models","created":"2024-03-04","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":"2606.24965","title":"Project Auto-World: Towards Automated Benchmarking of Neural Relational Reasoners","created":"2026-06-23","cited_by_count":0,"area":"lr"}],"next_cursor":null}