{"total":45,"rows":[{"id":"2412.01007","title":"CoRNStack: High-Quality Contrastive Data for Better Code Retrieval and Reranking","created":"2024-12-01","cited_by_count":37,"area":null},{"id":"2504.09246","title":"Type-Constrained Code Generation with Language Models","created":"2025-04-12","cited_by_count":35,"area":null},{"id":"2505.23061","title":"DINGO: Constrained Inference for Diffusion LLMs","created":"2025-05-29","cited_by_count":16,"area":null},{"id":"2508.10111","title":"Constrained Decoding of Diffusion LLMs with Context-Free Grammars","created":"2025-08-13","cited_by_count":14,"area":null},{"id":"2506.03887","title":"Pre$^3$: Enabling Deterministic Pushdown Automata for Faster Structured LLM Generation","created":"2025-06-04","cited_by_count":11,"area":null},{"id":"2507.13290","title":"Towards Formal Verification of LLM-Generated Code from Natural Language Prompts","created":"2025-07-17","cited_by_count":8,"area":null},{"id":"2606.01926","title":"Mitigating Bias in Locally Constrained Decoding via Tractable Proposals","created":"2026-06-01","cited_by_count":8,"area":null},{"id":"2404.01558","title":"Automated User Story Generation with Test Case Specification Using Large Language Model","created":"2024-04-02","cited_by_count":7,"area":null},{"id":"2602.00612","title":"Lookahead-then-Verify: Reliable Constrained Decoding for Diffusion LLMs under Context-Free Grammars","created":"2026-01-31","cited_by_count":7,"area":null},{"id":"2603.03305","title":"The Hidden Cost of Structured Generation in LLMs: Draft-Conditioned Constrained Decoding","created":"2026-02-08","cited_by_count":7,"area":null},{"id":"2411.19043","title":"Using a Feedback Loop for LLM-based Infrastructure as Code Generation","created":"2024-11-28","cited_by_count":5,"area":null},{"id":"2509.01082","title":"RefineStat: Efficient Exploration for Probabilistic Program Synthesis","created":"2025-09-01","cited_by_count":5,"area":null},{"id":"2601.08734","title":"TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback","created":"2026-01-13","cited_by_count":5,"area":null},{"id":"2506.07154","title":"Syntactic Control of Language Models by Posterior Inference","created":"2025-06-08","cited_by_count":3,"area":null},{"id":"2511.05578","title":"UTF-8 Plumbing: Byte-level Tokenizers Unavoidably Enable LLMs to Generate Ill-formed UTF-8","created":"2025-11-05","cited_by_count":3,"area":null},{"id":"2604.25149","title":"Semantic Layers for Reliable LLM-Powered Data Analytics: A Paired Benchmark of Accuracy and Hallucination Across Three Frontier Models","created":"2026-04-28","cited_by_count":3,"area":null},{"id":"2510.14972","title":"TokDrift: When LLM Speaks in Subwords but Code Speaks in Grammar","created":"2025-10-16","cited_by_count":2,"area":null},{"id":"2606.28929","title":"Cybersecurity is the True Frontier for Generative AI Success or Failure","created":"2026-06-27","cited_by_count":2,"area":null},{"id":"2511.21920","title":"Toward Automated and Trustworthy Scientific Analysis and Visualization with LLM-Generated Code","created":"2025-11-26","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":"2605.02363","title":"When Correct Isn't Usable: Improving Structured Output Reliability in Small Language Models","created":"2026-05-04","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":"2606.21619","title":"The Alignment Problem in Constrained Code Generation","created":"2026-06-19","cited_by_count":1,"area":null},{"id":"2608.28229","title":"Stay Within Your Bounds: Distance-Guided Decoding for Guaranteed Context-Free Grammar Compliance","created":"2026-08-28","cited_by_count":1,"area":null},{"id":"2412.03446","title":"From Words to Workflows: Automating Business Processes","created":"2024-12-04","cited_by_count":0,"area":null},{"id":"2510.10216","title":"Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis","created":"2025-10-11","cited_by_count":0,"area":null},{"id":"2603.01243","title":"Suffix-Constrained Greedy Search Algorithms for Causal Language Models","created":"2026-03-01","cited_by_count":0,"area":null},{"id":"2603.21439","title":"LLM-Powered Workflow Optimization for Multidisciplinary Software Development: An Automotive Industry Case Study","created":"2026-03-22","cited_by_count":0,"area":null},{"id":"2603.27254","title":"Amalgam: Hybrid LLM-PGM Synthesis Algorithm for Accuracy and Realism","created":"2026-03-28","cited_by_count":0,"area":null},{"id":"2604.07755","title":"An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations","created":"2026-04-09","cited_by_count":0,"area":null},{"id":"2605.17029","title":"Task Abstention for Large Language Models in Code Generation","created":"2026-05-16","cited_by_count":0,"area":null},{"id":"2605.21180","title":"Domain-Adaptable Reinforcement Learning for Code Generation with Dense Rewards","created":"2026-05-20","cited_by_count":0,"area":null},{"id":"2605.29986","title":"Accelerating Constrained Decoding with Token Space Compression","created":"2026-05-28","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":"2607.11951","title":"GRID: Grammar-Railed Decoding for Enterprise SQL Generation","created":"2026-07-11","cited_by_count":0,"area":null},{"id":"2607.12341","title":"Policy-Conditioned Constrained Decoding for Column-Level Access Control in Text-to-SQL","created":"2026-07-14","cited_by_count":0,"area":null},{"id":"2607.18357","title":"Decode-Time Grammars: Constrained LLM Generation over a Refinement Order of Grammar Fragments","created":"2026-07-20","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":"2607.27964","title":"Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models","created":"2026-07-30","cited_by_count":0,"area":null},{"id":"2608.10137","title":"The Parser Already Knows: Lightweight Bias Correction in Constrained Decoding","created":"2026-08-10","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":"2609.35425","title":"Semantic Prefix Oracles for LLM Decoding: Contracts and Differential Validation","created":"2026-09-28","cited_by_count":0,"area":null},{"id":"2610.05161","title":"Beyond Instruction Following: Learning Grounded Skill-Following with Skill Contracts","created":"2026-10-04","cited_by_count":0,"area":null},{"id":"2610.05323","title":"Grammar-Guided Code Watermarking with Green Temperature","created":"2026-10-04","cited_by_count":0,"area":null},{"id":"2610.09139","title":"Breaking the Space Barrier and its Application to Language Model Inference","created":"2026-10-06","cited_by_count":0,"area":null}],"next_cursor":null}