{"total":20,"rows":[{"id":"2308.06391","title":"Dynamic Planning with a LLM","created":"2023-08-11","cited_by_count":61,"area":null},{"id":"2401.02500","title":"On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS)","created":"2024-01-04","cited_by_count":40,"area":null},{"id":"2407.03321","title":"Planetarium: A Rigorous Benchmark for Translating Text to Structured Planning Languages","created":"2024-07-03","cited_by_count":33,"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":"2407.18723","title":"LLASP: Fine-tuning Large Language Models for Answer Set Programming","created":"2024-07-26","cited_by_count":8,"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":"2509.09810","title":"Towards a Common Framework for Autoformalization","created":"2025-09-11","cited_by_count":7,"area":null},{"id":"2409.12300","title":"Autoformalization of Game Descriptions using Large Language Models","created":"2024-09-18","cited_by_count":5,"area":null},{"id":"2407.20513","title":"Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language","created":"2024-07-30","cited_by_count":3,"area":null},{"id":"2504.20643","title":"Cooking Up Creativity: Enhancing LLM Creativity through Structured Recombination","created":"2025-04-29","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":"2407.19055","title":"Effective Large Language Model Debugging with Best-first Tree Search","created":"2024-07-26","cited_by_count":1,"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":"2604.22306","title":"BLAST: Benchmarking LLMs with ASP-based Structured Testing","created":"2026-04-24","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.29035","title":"EmoLASP: Emotion Recognition with Language Models and Answer Set Programming","created":"2026-08-29","cited_by_count":0,"area":null},{"id":"2609.23239","title":"SoK: Formal Methods for Fact-Checking and Information Integrity","created":"2026-09-19","cited_by_count":0,"area":null}],"next_cursor":null}