{"total":23,"rows":[{"id":"2410.03981","title":"A Survey on LLM-based Code Generation for Low-Resource and Domain-Specific Programming Languages","created":"2024-10-04","cited_by_count":66,"area":null},{"id":"2311.09278","title":"Symbol-LLM: Towards Foundational Symbol-centric Interface For Large Language Models","created":"2023-11-15","cited_by_count":39,"area":null},{"id":"2404.03275","title":"DELTA: Decomposed Efficient Long-Term Robot Task Planning using Large Language Models","created":"2024-04-04","cited_by_count":33,"area":null},{"id":"2404.14928","title":"Graph Machine Learning in the Era of Large Language Models (LLMs)","created":"2024-04-23","cited_by_count":33,"area":null},{"id":"2409.19492","title":"MedHalu: Hallucinations in Responses to Healthcare Queries by Large Language Models","created":"2024-09-29","cited_by_count":21,"area":null},{"id":"2307.16699","title":"Ontology engineering with Large Language Models","created":"2023-07-31","cited_by_count":17,"area":null},{"id":"2308.09830","title":"Synergistic Integration of Large Language Models and Cognitive Architectures for Robust AI: An Exploratory Analysis","created":"2023-08-18","cited_by_count":11,"area":null},{"id":"2502.16757","title":"Entailment-Preserving First-order Logic Representations in Natural Language Entailment","created":"2025-02-24","cited_by_count":5,"area":null},{"id":"2602.13237","title":"NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models","created":"2026-01-29","cited_by_count":5,"area":null},{"id":"2401.11725","title":"Speak It Out: Solving Symbol-Related Problems with Symbol-to-Language Conversion for Language Models","created":"2024-01-22","cited_by_count":4,"area":null},{"id":"2406.17532","title":"Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study","created":"2024-06-25","cited_by_count":4,"area":null},{"id":"2403.03645","title":"Graph Generation Powered with LLMs for Boosting Multivariate Time-Series Representation Learning","created":"2024-03-06","cited_by_count":3,"area":null},{"id":"2403.18327","title":"$\\forall$uto$\\exists$val: Autonomous Assessment of LLMs in Formal Synthesis and Interpretation Tasks","created":"2024-03-27","cited_by_count":3,"area":null},{"id":"2505.01479","title":"Deliberate Planning in Language Models with Symbolic Representation","created":"2025-05-02","cited_by_count":3,"area":null},{"id":"2402.16105","title":"Towards Automated Knowledge Integration From Human-Interpretable Representations","created":"2024-02-25","cited_by_count":2,"area":null},{"id":"2509.22338","title":"Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs","created":"2025-09-26","cited_by_count":2,"area":null},{"id":"2511.11816","title":"Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy","created":"2025-11-14","cited_by_count":2,"area":null},{"id":"2512.02987","title":"Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic","created":"2025-12-02","cited_by_count":2,"area":null},{"id":"2604.10341","title":"VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline","created":"2026-04-11","cited_by_count":2,"area":null},{"id":"2606.02837","title":"Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling","created":"2026-06-01","cited_by_count":1,"area":null},{"id":"2410.14353","title":"Assistive AI for Augmenting Human Decision-making","created":"2024-10-18","cited_by_count":0,"area":null},{"id":"2606.07925","title":"ROSUM-MCTS: Monte Carlo Tree Search-Inspired HDL Code Summarization with Structural Rewards","created":"2026-06-06","cited_by_count":0,"area":null},{"id":"2608.07544","title":"MOSAIC: Adversarial Co-evolution of Specialist Heuristics and Problem Instances for LLM-based Automated Heuristic Design","created":"2026-07-31","cited_by_count":0,"area":null}],"next_cursor":null}