{"total":23,"rows":[{"id":"2405.02079","title":"Argumentative Large Language Models for Explainable and Contestable Claim Verification","created":"2024-05-03","cited_by_count":36,"area":null},{"id":"2503.00870","title":"NeSyC: A Neuro-symbolic Continual Learner For Complex Embodied Tasks In Open Domains","created":"2025-03-02","cited_by_count":15,"area":null},{"id":"2402.14123","title":"DeiSAM: Segment Anything with Deictic Prompting","created":"2024-02-21","cited_by_count":9,"area":null},{"id":"2511.09008","title":"A Neurosymbolic Approach to Natural Language Formalization and Verification","created":"2025-11-12","cited_by_count":9,"area":null},{"id":"2403.04541","title":"Towards Automatic Composition of ASP Programs from Natural Language Specifications","created":"2024-03-07","cited_by_count":7,"area":null},{"id":"2506.06052","title":"DCP-Bench-Open: Evaluating LLMs for Constraint Modelling of Discrete Combinatorial Problems","created":"2025-06-06","cited_by_count":4,"area":null},{"id":"2405.03825","title":"Organizing a Society of Language Models: Structures and Mechanisms for Enhanced Collective Intelligence","created":"2024-05-06","cited_by_count":3,"area":null},{"id":"2402.06608","title":"TIC: Translate-Infer-Compile for accurate \"text to plan\" using LLMs and Logical Representations","created":"2024-02-09","cited_by_count":2,"area":null},{"id":"2502.09211","title":"Visual Graph Question Answering with ASP and LLMs for Language Parsing","created":"2025-02-13","cited_by_count":2,"area":null},{"id":"2509.07122","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","created":"2025-09-08","cited_by_count":2,"area":null},{"id":"2510.25517","title":"Predicate Renaming via Large Language Models","created":"2025-10-29","cited_by_count":2,"area":null},{"id":"2312.04249","title":"Extending Answer Set Programming with Rational Numbers","created":"2023-12-07","cited_by_count":0,"area":null},{"id":"2503.01804","title":"$\\texttt{SEM-CTRL}$: Semantically Controlled Decoding","created":"2025-03-03","cited_by_count":0,"area":null},{"id":"2511.08715","title":"Bridging Natural Language and ASP: A Hybrid Approach Using LLMs and AMR Parsing","created":"2025-11-11","cited_by_count":0,"area":null},{"id":"2601.19915","title":"Modeling Next-Token Prediction as Left-Nested Intuitionistic Implication","created":"2026-01-07","cited_by_count":0,"area":null},{"id":"2602.01171","title":"ASP-Bench: From Natural Language to Logic Programs","created":"2026-02-01","cited_by_count":0,"area":null},{"id":"2604.19251","title":"Streamliners for Answer Set Programming","created":"2026-04-21","cited_by_count":0,"area":null},{"id":"2604.20523","title":"Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis","created":"2026-04-22","cited_by_count":0,"area":null},{"id":"2606.03269","title":"Distilling Answer-Set Programming Rules from LLMs for Neurosymbolic Visual Question Answering","created":"2026-06-02","cited_by_count":0,"area":null},{"id":"2606.15251","title":"Driving, Fast or Slow? Neuro-Symbolic Guidance for Motion Prediction in Multi-Modal Ground Mobility","created":"2026-06-13","cited_by_count":0,"area":null},{"id":"2607.19365","title":"Logic-Guided Data Extraction with Answer Set Programming and Large Language Models","created":"2026-06-08","cited_by_count":0,"area":null},{"id":"2607.28086","title":"Distilling Answer Set Programming Theories from Large Language Models","created":"2026-07-30","cited_by_count":0,"area":null},{"id":"2608.30022","title":"Automatic Conversion of NICE Guidelines to an Executable Computational Model Using Large Language Models","created":"2026-08-30","cited_by_count":0,"area":null}],"next_cursor":null}