{"total":110,"rows":[{"id":"2312.07104","title":"SGLang: Efficient Execution of Structured Language Model Programs","created":"2023-12-12","cited_by_count":1141,"area":null},{"id":"2310.03714","title":"DSPy: Compiling Declarative Language Model Calls into Self-Improving Pipelines","created":"2023-10-05","cited_by_count":832,"area":"synth"},{"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":"2603.28052","title":"Meta-Harness: End-to-End Optimization of Model Harnesses","created":"2026-03-30","cited_by_count":309,"area":null},{"id":"2311.04934","title":"Prompt Cache: Modular Attention Reuse for Low-Latency Inference","created":"2023-11-07","cited_by_count":268,"area":null},{"id":"2212.09597","title":"Reasoning with Language Model Prompting: A Survey","created":"2022-12-19","cited_by_count":252,"area":"lr"},{"id":"2307.09702","title":"Efficient Guided Generation for Large Language Models","created":"2023-07-19","cited_by_count":200,"area":null},{"id":"2303.09014","title":"ART: Automatic multi-step reasoning and tool-use for large language models","created":"2023-03-16","cited_by_count":197,"area":"lr"},{"id":"2310.04363","title":"Amortizing intractable inference in large language models","created":"2023-10-06","cited_by_count":97,"area":null},{"id":"2309.09128","title":"ChainForge: A Visual Toolkit for Prompt Engineering and LLM Hypothesis Testing","created":"2023-09-17","cited_by_count":88,"area":null},{"id":"2306.03081","title":"Sequential Monte Carlo Steering of Large Language Models using Probabilistic Programs","created":"2023-06-05","cited_by_count":80,"area":null},{"id":"2406.02622","title":"Safeguarding Large Language Models: A Survey","created":"2024-06-03","cited_by_count":78,"area":"safety"},{"id":"2501.10868","title":"JSONSchemaBench: A Rigorous Benchmark of Structured Outputs for Language Models","created":"2025-01-18","cited_by_count":71,"area":null},{"id":"2212.10561","title":"Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions","created":"2022-12-20","cited_by_count":64,"area":"lr"},{"id":"2603.25723","title":"Natural-Language Agent Harnesses","created":"2026-03-26","cited_by_count":61,"area":null},{"id":"2409.09030","title":"Agents in Software Engineering: Survey, Landscape, and Vision","created":"2024-09-13","cited_by_count":60,"area":"agents"},{"id":"2410.03017","title":"Tutor CoPilot: A Human-AI Approach for Scaling Real-Time Expertise","created":"2024-10-03","cited_by_count":50,"area":null},{"id":"2303.14617","title":"Neural Graph Reasoning: Complex Logical Query Answering Meets Graph Databases","created":"2023-03-26","cited_by_count":35,"area":"lr"},{"id":"2504.09246","title":"Type-Constrained Code Generation with Language Models","created":"2025-04-12","cited_by_count":35,"area":null},{"id":"2402.11755","title":"SPML: A DSL for Defending Language Models Against Prompt Attacks","created":"2024-02-19","cited_by_count":34,"area":null},{"id":"2310.16035","title":"What's Left? Concept Grounding with Logic-Enhanced Foundation Models","created":"2023-10-24","cited_by_count":33,"area":"lr"},{"id":"2410.07295","title":"IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking","created":"2024-10-09","cited_by_count":29,"area":null},{"id":"2312.13382","title":"DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines","created":"2023-12-20","cited_by_count":27,"area":null},{"id":"2408.11061","title":"StructuredRAG: JSON Response Formatting with Large Language Models","created":"2024-08-07","cited_by_count":22,"area":null},{"id":"2407.09522","title":"UQE: A Query Engine for Unstructured Databases","created":"2024-06-23","cited_by_count":21,"area":null},{"id":"2404.11483","title":"AgentKit: Structured LLM Reasoning with Dynamic Graphs","created":"2024-04-17","cited_by_count":13,"area":"lr"},{"id":"2309.05542","title":"Kani: A Lightweight and Highly Hackable Framework for Building Language Model Applications","created":"2023-09-11","cited_by_count":11,"area":null},{"id":"2407.08473","title":"Natural language is not enough: Benchmarking multi-modal generative AI for Verilog generation","created":"2024-07-11","cited_by_count":11,"area":null},{"id":"2405.03709","title":"ScenicNL: Generating Probabilistic Scenario Programs from Natural Language","created":"2024-05-03","cited_by_count":10,"area":null},{"id":"2312.14428","title":"A Unified Industrial Large Knowledge Model Framework in Industry 4.0 and Smart Manufacturing","created":"2023-12-22","cited_by_count":9,"area":null},{"id":"2301.13382","title":"Numeracy from Literacy: Data Science as an Emergent Skill from Large Language Models","created":"2023-01-31","cited_by_count":8,"area":null},{"id":"2406.13161","title":"APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts","created":"2024-06-19","cited_by_count":8,"area":null},{"id":"2411.00024","title":"A Perspective for Adapting Generalist AI to Specialized Medical AI Applications and Their Challenges","created":"2024-10-28","cited_by_count":8,"area":null},{"id":"2603.25111","title":"SEVerA: Verified Synthesis of Self-Evolving Agents","created":"2026-03-26","cited_by_count":8,"area":"agents"},{"id":"2308.15645","title":"AskIt: Unified Programming Interface for Programming with Large Language Models","created":"2023-08-29","cited_by_count":5,"area":null},{"id":"2412.17696","title":"Understanding the Logic of Direct Preference Alignment through Logic","created":"2024-12-23","cited_by_count":5,"area":"alignment"},{"id":"2509.01728","title":"Constrained Decoding for Safe Robot Navigation Foundation Models","created":"2025-09-01","cited_by_count":5,"area":null},{"id":"2605.15215","title":"SkillSmith: Compiling Agent Skills into Boundary-Guided Runtime Interfaces","created":"2026-05-12","cited_by_count":5,"area":"agents"},{"id":"2503.16538","title":"Leveraging Vision-Language Models for Open-Vocabulary Instance Segmentation and Tracking","created":"2025-03-18","cited_by_count":4,"area":"mllm"},{"id":"2505.01954","title":"Semantic Probabilistic Control of Language Models","created":"2025-05-04","cited_by_count":4,"area":null},{"id":"2605.26128","title":"The Constraint Tax: Measuring Validity-Correctness Tradeoffs in Structured Outputs for Small Language Models","created":"2026-05-20","cited_by_count":4,"area":null},{"id":"2309.04716","title":"Toward Reproducing Network Research Results Using Large Language Models","created":"2023-09-09","cited_by_count":3,"area":null},{"id":"2309.12813","title":"Automatically Testing Functional Properties of Code Translation Models","created":"2023-09-07","cited_by_count":3,"area":null},{"id":"2311.04954","title":"Prompt Sketching for Large Language Models","created":"2023-11-08","cited_by_count":3,"area":null},{"id":"2405.08965","title":"MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming","created":"2024-05-14","cited_by_count":3,"area":null},{"id":"2410.06943","title":"AutoFeedback: An LLM-based Framework for Efficient and Accurate API Request Generation","created":"2024-10-09","cited_by_count":3,"area":null},{"id":"2506.01151","title":"Earley-Driven Dynamic Pruning for Efficient Structured Decoding","created":"2025-06-01","cited_by_count":3,"area":null},{"id":"2510.01902","title":"Constrained Adaptive Rejection Sampling","created":"2025-10-02","cited_by_count":3,"area":null},{"id":"2607.08028","title":"From Prompts to Contracts: Harness Engineering for Auditable Enterprise LLM Agents","created":"2026-07-09","cited_by_count":3,"area":"agents"},{"id":"2607.20709","title":"NVIDIA-labs OO Agents: Native Python Object-Oriented Agents","created":"2026-07-22","cited_by_count":3,"area":"agents"},{"id":"2404.09384","title":"Generative transformations and patterns in LLM-native approaches for software verification and falsification","created":"2024-04-14","cited_by_count":2,"area":null},{"id":"2407.19118","title":"Large Language Models as Co-Pilots for Causal Inference in Medical Studies","created":"2024-07-26","cited_by_count":2,"area":null},{"id":"2503.24062","title":"Artificial Conversations, Real Results: Fostering Language Detection with Synthetic Data","created":"2025-03-31","cited_by_count":2,"area":"synth"},{"id":"2504.01866","title":"From Code Generation to Software Testing: AI Copilot with Context-Based RAG","created":"2025-04-02","cited_by_count":2,"area":null},{"id":"2508.03611","title":"Astrolabe: Balancing Load in LLM Serving with Randomized Prediction-Guided Scheduling","created":"2025-08-05","cited_by_count":2,"area":"inference"},{"id":"2512.14805","title":"Sharing State Between Prompts and Programs","created":"2025-12-16","cited_by_count":2,"area":null},{"id":"2601.05162","title":"GenAI-DrawIO-Creator: A Framework for Automated Diagram Generation","created":"2026-01-08","cited_by_count":2,"area":null},{"id":"2604.05400","title":"HYVE: Hybrid Views for LLM Context Engineering over Machine Data","created":"2026-04-07","cited_by_count":2,"area":null},{"id":"2605.06365","title":"From Agent Loops to Deterministic Graphs: Execution Lineage for Reproducible AI-Native Work","created":"2026-05-07","cited_by_count":2,"area":"agents"},{"id":"2605.17626","title":"Verifier-Guided Code Translation via Meta-Step Decoding","created":"2026-05-17","cited_by_count":2,"area":"lr"},{"id":"2312.15472","title":"Towards Consistent Language Models Using Declarative Constraints","created":"2023-12-24","cited_by_count":1,"area":null},{"id":"2401.00210","title":"The Problem of Alignment","created":"2023-12-30","cited_by_count":1,"area":"alignment"},{"id":"2502.07046","title":"SnipGen: A Mining Repository Framework for Evaluating LLMs for Code","created":"2025-02-10","cited_by_count":1,"area":null},{"id":"2505.18011","title":"Training with Pseudo-Code for Instruction Following","created":"2025-05-23","cited_by_count":1,"area":null},{"id":"2508.18244","title":"Type-Compliant Adaptation Cascades: Adapting Programmatic LM Workflows to Data","created":"2025-08-25","cited_by_count":1,"area":null},{"id":"2509.00293","title":"Illuminating Patterns of Divergence: DataDios SmartDiff for Large-Scale Data Difference Analysis","created":"2025-08-30","cited_by_count":1,"area":null},{"id":"2510.17883","title":"From Flows to Words: Can Zero-/Few-Shot LLMs Detect Network Intrusions? A Grammar-Constrained, Calibrated Evaluation on UNSW-NB15","created":"2025-10-18","cited_by_count":1,"area":null},{"id":"2510.19850","title":"Prompt Decorators: A Declarative and Composable Syntax for Reasoning, Formatting, and Control in LLMs","created":"2025-10-21","cited_by_count":1,"area":"lr"},{"id":"2601.09771","title":"PCN-Rec: Agentic Proof-Carrying Negotiation for Reliable Governance-Constrained Recommendation","created":"2026-01-14","cited_by_count":1,"area":"agents"},{"id":"2602.21257","title":"Structured Prompt Language: Declarative Context Management for LLMs","created":"2026-02-23","cited_by_count":1,"area":null},{"id":"2603.05540","title":"Attention Meets Reachability: Structural Equivalence and Efficiency in Grammar-Constrained LLM Decoding","created":"2026-03-04","cited_by_count":1,"area":null},{"id":"2603.05832","title":"Lexara: A User-Centered Toolkit for Evaluating Large Language Models for Conversational Visual Analytics","created":"2026-03-06","cited_by_count":1,"area":null},{"id":"2605.13076","title":"TruncProof: A Guardrail for LLM-based JSON Generation under Token-Length Constraints","created":"2026-05-13","cited_by_count":1,"area":null},{"id":"2607.18970","title":"Skillware: A Software Ontology and Engineering Lifecycle for Persistent Behavioral Artifacts","created":"2026-07-21","cited_by_count":1,"area":null},{"id":"2607.27578","title":"What makes prompts a graph: necessary and sufficient conditions for prompt graph engineering","created":"2026-07-30","cited_by_count":1,"area":null},{"id":"2306.10196","title":"Structured Thoughts Automaton: First Formalized Execution Model for Auto-Regressive Language Models","created":"2023-06-16","cited_by_count":0,"area":"lr"},{"id":"2307.10348","title":"Code Detection for Hardware Acceleration Using Large Language Models","created":"2023-07-19","cited_by_count":0,"area":null},{"id":"2411.08449","title":"Towards Evaluating Large Language Models for Graph Query Generation","created":"2024-11-13","cited_by_count":0,"area":null},{"id":"2503.00600","title":"Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems","created":"2025-03-01","cited_by_count":0,"area":"safety"},{"id":"2503.01804","title":"$\\texttt{SEM-CTRL}$: Semantically Controlled Decoding","created":"2025-03-03","cited_by_count":0,"area":null},{"id":"2507.06396","title":"Representing Prompting Patterns with PDL: Compliance Agent Case Study","created":"2025-07-08","cited_by_count":0,"area":"agents"},{"id":"2510.14846","title":"Where to Search: Measure the Prior-Structured Search Space of LLM Agents","created":"2025-10-16","cited_by_count":0,"area":"lr"},{"id":"2510.25412","title":"Serve Programs, Not Prompts","created":"2025-10-29","cited_by_count":0,"area":"inference"},{"id":"2511.19427","title":"Prompt Less, Smile More: MTP with Semantic Engineering in Lieu of Prompt Engineering","created":"2025-11-24","cited_by_count":0,"area":null},{"id":"2512.07501","title":"AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution","created":"2025-12-08","cited_by_count":0,"area":null},{"id":"2603.08930","title":"Using Vision Language Foundation Models to Generate Plant Simulation Configurations via In-Context Learning","created":"2026-03-09","cited_by_count":0,"area":"mllm"},{"id":"2603.22519","title":"LLMON: An LLM-native Markup Language to Leverage Structure and Semantics at the LLM Interface","created":"2026-03-23","cited_by_count":0,"area":null},{"id":"2603.24747","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","created":"2026-03-25","cited_by_count":0,"area":"agents"},{"id":"2604.16736","title":"When Agents Go Quiet: Output Generation Capacity and Format-Cost Separation for LLM Document Synthesis","created":"2026-04-17","cited_by_count":0,"area":"agents"},{"id":"2604.22565","title":"Learning Evidence Highlighting for Frozen LLMs","created":"2026-04-24","cited_by_count":0,"area":null},{"id":"2605.12129","title":"It's Not the Size: Harness Design Determines Operational Stability in Small Language Models","created":"2026-05-12","cited_by_count":0,"area":null},{"id":"2605.23914","title":"VineLM: Trie-Based Fine-Grained Control for Agentic Workflows","created":"2026-04-09","cited_by_count":0,"area":"agents"},{"id":"2605.30054","title":"Projectional Decoding: Towards Semantic-Aware LLM Generation","created":"2026-05-28","cited_by_count":0,"area":null},{"id":"2606.10701","title":"Vector Map as Language: Toward Unified Remote Sensing Vector Mapping","created":"2026-06-09","cited_by_count":0,"area":null},{"id":"2606.14831","title":"Is Your Agent Playing Dead? Deployed LLM Agents Exhibit Constraint-Evasive Fabrication and Thanatosis","created":"2026-06-12","cited_by_count":0,"area":"agents"},{"id":"2607.05484","title":"SHARC: SHAP-Based Interpretability in Machine Learning Risk Models for Regulatory Capital under ICAAP and CCAR","created":"2026-07-06","cited_by_count":0,"area":null},{"id":"2607.09489","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","created":"2026-07-10","cited_by_count":0,"area":null},{"id":"2607.18246","title":"Phionyx: A Deterministic AI Runtime Architecture with Structured State Management and Pre-Response Governance","created":"2026-05-04","cited_by_count":0,"area":null},{"id":"2607.22683","title":"Imprompt: A Language Framework for Prompt Programming","created":"2026-07-13","cited_by_count":0,"area":null},{"id":"2608.03588","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","created":"2026-08-04","cited_by_count":0,"area":"agents"}],"next_cursor":"100"}