{"total":73,"rows":[{"id":"2312.07104","title":"SGLang: Efficient Execution of Structured Language Model Programs","created":"2023-12-12","cited_by_count":1141,"area":null},{"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":"2307.09702","title":"Efficient Guided Generation for Large Language Models","created":"2023-07-19","cited_by_count":200,"area":null},{"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":"2501.10868","title":"JSONSchemaBench: A Rigorous Benchmark of Structured Outputs for Language Models","created":"2025-01-18","cited_by_count":71,"area":null},{"id":"2603.25723","title":"Natural-Language Agent Harnesses","created":"2026-03-26","cited_by_count":61,"area":null},{"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":"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":"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":"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":"2308.15645","title":"AskIt: Unified Programming Interface for Programming with Large Language Models","created":"2023-08-29","cited_by_count":5,"area":null},{"id":"2509.01728","title":"Constrained Decoding for Safe Robot Navigation Foundation Models","created":"2025-09-01","cited_by_count":5,"area":null},{"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":"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":"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":"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":"2312.15472","title":"Towards Consistent Language Models Using Declarative Constraints","created":"2023-12-24","cited_by_count":1,"area":null},{"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":"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":"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.01804","title":"$\\texttt{SEM-CTRL}$: Semantically Controlled Decoding","created":"2025-03-03","cited_by_count":0,"area":null},{"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.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":"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.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":"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.05234","title":"PPDL: LLM-Based Flows as Probabilistic Programs","created":"2026-08-05","cited_by_count":0,"area":null},{"id":"2608.12574","title":"Trie Automata for Constrained Decoding over Large Finite Sets","created":"2026-08-12","cited_by_count":0,"area":null},{"id":"2608.25336","title":"Provenance Before Prose: Claim-Locked Reporting for Statistical Text Generation","created":"2026-08-26","cited_by_count":0,"area":null},{"id":"2609.30074","title":"How Reproducible Are Evaluation Conclusions? A Self-Audit of LLM-Inferred Prompt Structure","created":"2026-09-24","cited_by_count":0,"area":null},{"id":"2609.32198","title":"Agents as Software: A Programming Languages Agenda for Agent Reliability","created":"2026-09-26","cited_by_count":0,"area":null},{"id":"2610.09896","title":"NL2Hull: A Natural Language-Driven Constrained Ship Design Decision Framework","created":"2026-10-07","cited_by_count":0,"area":null}],"next_cursor":null}