{"total":41,"rows":[{"id":"2308.10620","title":"Large Language Models for Software Engineering: A Systematic Literature Review","created":"2023-08-21","cited_by_count":399,"area":null},{"id":"2305.19234","title":"Grammar Prompting for Domain-Specific Language Generation with Large Language Models","created":"2023-05-30","cited_by_count":58,"area":null},{"id":"2404.09939","title":"A Survey on Deep Learning for Theorem Proving","created":"2024-04-15","cited_by_count":57,"area":null},{"id":"2410.12112","title":"Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming","created":"2024-10-15","cited_by_count":35,"area":null},{"id":"2501.01767","title":"LogicAD: Explainable Anomaly Detection via VLM-based Text Feature Extraction","created":"2025-01-03","cited_by_count":25,"area":null},{"id":"2406.05572","title":"Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction","created":"2024-06-08","cited_by_count":19,"area":null},{"id":"2407.06249","title":"CodeUpdateArena: Benchmarking Knowledge Editing on API Updates","created":"2024-07-08","cited_by_count":19,"area":null},{"id":"2505.02216","title":"LLM-Guided Probabilistic Program Induction for POMDP Model Estimation","created":"2025-05-04","cited_by_count":12,"area":null},{"id":"2502.15776","title":"Logic.py: Bridging the Gap between LLMs and Constraint Solvers","created":"2025-02-17","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":"2604.25031","title":"Faithful Autoformalization via Roundtrip Verification and Repair","created":"2026-04-27","cited_by_count":8,"area":null},{"id":"2311.09796","title":"Interpreting User Requests in the Context of Natural Language Standing Instructions","created":"2023-11-16","cited_by_count":5,"area":null},{"id":"2403.16097","title":"Can Language Models Pretend Solvers? Logic Code Simulation with LLMs","created":"2024-03-24","cited_by_count":4,"area":null},{"id":"2411.16927","title":"ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code","created":"2024-11-25","cited_by_count":4,"area":null},{"id":"2503.04734","title":"What can large language models do for sustainable food?","created":"2025-02-02","cited_by_count":4,"area":null},{"id":"2505.24874","title":"The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models","created":"2025-05-30","cited_by_count":4,"area":null},{"id":"2405.12147","title":"Eliciting Problem Specifications via Large Language Models","created":"2024-05-20","cited_by_count":2,"area":null},{"id":"2502.13953","title":"Benchmarking graph construction by large language models for coherence-driven inference","created":"2025-02-19","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":"2603.03177","title":"Neuro-Symbolic Artificial Intelligence: A Task-Directed Survey in the Black-Box Models Era","created":"2026-03-03","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":"2605.11167","title":"The Bicameral Model: Bidirectional Hidden-State Coupling Between Parallel Language Models","created":"2026-05-11","cited_by_count":2,"area":null},{"id":"2605.12421","title":"Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solvers","created":"2026-05-12","cited_by_count":2,"area":null},{"id":"2607.20474","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","created":"2026-05-24","cited_by_count":2,"area":null},{"id":"2408.05442","title":"Chain of Condition: Construct, Verify and Solve Conditions for Conditional Question Answering","created":"2024-08-10","cited_by_count":1,"area":null},{"id":"2409.17005","title":"Models Can and Should Embrace the Communicative Nature of Human-Generated Math","created":"2024-09-25","cited_by_count":1,"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":"2608.18820","title":"Pairwise Logical Selection of Enthymeme Completions under Semantic-Link Uncertainty","created":"2026-08-19","cited_by_count":1,"area":null},{"id":"2409.18778","title":"HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation","created":"2024-09-27","cited_by_count":0,"area":null},{"id":"2508.04427","title":"Decoding the Multimodal Maze: A Systematic Review on the Adoption of Explainability in Multimodal Attention-based Models","created":"2025-08-06","cited_by_count":0,"area":null},{"id":"2604.01455","title":"Infeasibility Aware Large Language Models for Combinatorial Optimization","created":"2026-04-01","cited_by_count":0,"area":null},{"id":"2605.06184","title":"Teaching LLMs Program Semantics via Symbolic Execution Traces","created":"2026-05-07","cited_by_count":0,"area":null},{"id":"2605.28666","title":"An LLM-Based Assistance System for Intuitive and Flexible Capability-Based Planning","created":"2026-05-27","cited_by_count":0,"area":null},{"id":"2606.15577","title":"Large Language Models as Optimizers: A Survey of Direct vs. Tool-Augmented Approaches and Their Performance Frontiers","created":"2026-04-09","cited_by_count":0,"area":null},{"id":"2606.20895","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","created":"2026-06-18","cited_by_count":0,"area":null},{"id":"2608.14771","title":"From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving","created":"2026-08-14","cited_by_count":0,"area":null},{"id":"2609.03366","title":"Accountable AI with Grounded, Faithful, Consistent, Actionable Rationales: A Case Study in Clinical Trial Matching with VERDICT","created":"2026-09-03","cited_by_count":0,"area":null},{"id":"2609.13945","title":"SAILOR: Solver-Assisted Interactive LLM-based Optimization Recovery","created":"2026-09-12","cited_by_count":0,"area":null},{"id":"2609.20319","title":"QEncodeBench: Can Large Language Models Encode Classical Problems into Verified Quantum Oracles?","created":"2026-07-31","cited_by_count":0,"area":null},{"id":"2609.29876","title":"Ontology-Mediated Neurosymbolic Constraint Acquisition from Multiple Stakeholders","created":"2026-09-24","cited_by_count":0,"area":null},{"id":"2609.38621","title":"When Scientific Contradictions Are Lost in Translation","created":"2026-09-29","cited_by_count":0,"area":null}],"next_cursor":null}