{"total":69,"rows":[{"id":"2502.09061","title":"CRANE: Reasoning with constrained LLM generation","created":"2025-02-13","cited_by_count":38,"area":"lr"},{"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":"2510.15681","title":"ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings","created":"2025-10-17","cited_by_count":18,"area":"rag"},{"id":"2503.23145","title":"CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis","created":"2025-03-29","cited_by_count":16,"area":"lr"},{"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":"2502.12123","title":"On the Query Complexity of Verifier-Assisted Language Generation","created":"2025-02-17","cited_by_count":12,"area":"lr"},{"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":"2403.17983","title":"Is The Watermarking Of LLM-Generated Code Robust?","created":"2024-03-24","cited_by_count":8,"area":"safety"},{"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":"2603.25111","title":"SEVerA: Verified Synthesis of Self-Evolving Agents","created":"2026-03-26","cited_by_count":8,"area":"agents"},{"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":"2602.01381","title":"On the Power of (Approximate) Reward Models for Inference-Time Scaling","created":"2026-02-01","cited_by_count":7,"area":"lr"},{"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":"2510.03902","title":"Multi-Agent Code-Orchestrated Generation for Reliable Infrastructure-as-Code","created":"2025-10-04","cited_by_count":5,"area":"agents"},{"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":"2607.07026","title":"Constrained Decoding for Diffusion Language Models via Efficient Inference over Finite Automata","created":"2026-07-08","cited_by_count":4,"area":"diffusion"},{"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.08255","title":"Opponent Shaping in LLM Agents","created":"2025-10-09","cited_by_count":2,"area":"agents"},{"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":"2512.05887","title":"Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models","created":"2025-12-05","cited_by_count":1,"area":"synth"},{"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":"2604.03537","title":"Rethinking Token Prediction: Tree-Structured Diffusion Language Model","created":"2026-04-04","cited_by_count":1,"area":"lr"},{"id":"2604.20811","title":"Diagnosing CFG Interpretation in LLMs","created":"2026-04-22","cited_by_count":1,"area":"agents"},{"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.00722","title":"EPIC: Efficient and Parallel Inference under CFG Constraints for Diffusion Language Models","created":"2026-05-30","cited_by_count":1,"area":"diffusion"},{"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.05728","title":"LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning","created":"2026-03-05","cited_by_count":0,"area":"lr"},{"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":"2604.18064","title":"Towards Human Motion World Models via Executable Behaviour Representations","created":"2026-04-20","cited_by_count":0,"area":"wm"},{"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":"2606.11817","title":"Grammar-Constrained Decoding Can Jailbreak LLMs into Generating Malicious Code","created":"2026-06-10","cited_by_count":0,"area":"safety"},{"id":"2606.25987","title":"Weave of Formal Thought","created":"2026-06-24","cited_by_count":0,"area":"lr"},{"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.08282","title":"Stateful CARS: Exact Cross-History Reuse for Policy-Constrained LLM Agents","created":"2026-08-08","cited_by_count":0,"area":"agents"},{"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":"2608.16794","title":"Neurosymbolic Embodied Agents","created":"2026-08-17","cited_by_count":0,"area":"mllm"},{"id":"2609.00621","title":"Control-Data Flow Separation: Stable Prompt Optimization in Multi-Agent LLMs","created":"2026-09-01","cited_by_count":0,"area":"agents"},{"id":"2609.08602","title":"CLAMP: Constrained Decoding for Vision-Language Embodied Planning","created":"2026-09-08","cited_by_count":0,"area":"mllm"},{"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":"2609.35609","title":"Twist, Don't Tilt: Trajectory-Exact Constrained Decoding for Masked Diffusion Models","created":"2026-09-28","cited_by_count":0,"area":"diffusion"},{"id":"2609.39869","title":"GrammarRL: Effective Grammar-Constrained Decoding via Reinforcement Learning","created":"2026-09-30","cited_by_count":0,"area":"alignment"},{"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}