{"total":26,"rows":[{"id":"2508.10111","title":"Constrained Decoding of Diffusion LLMs with Context-Free Grammars","created":"2025-08-13","cited_by_count":14,"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":"2508.15866","title":"Correctness-Guaranteed Code Generation via Constrained Decoding","created":"2025-08-20","cited_by_count":7,"area":null},{"id":"2512.18925","title":"Beyond the Prompt: An Empirical Study of Cursor Rules","created":"2025-12-21","cited_by_count":7,"area":null},{"id":"2509.01082","title":"RefineStat: Efficient Exploration for Probabilistic Program Synthesis","created":"2025-09-01","cited_by_count":5,"area":null},{"id":"2602.06934","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","created":"2026-02-06","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":"2606.31808","title":"Large Databases Need Small, Open-Weight Language Models","created":"2026-06-30","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":"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":"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":"2601.02045","title":"The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers","created":"2026-01-05","cited_by_count":0,"area":null},{"id":"2605.15238","title":"Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support","created":"2026-05-14","cited_by_count":0,"area":null},{"id":"2605.28328","title":"Learning the Error Patterns of Language Models","created":"2026-05-27","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.04535","title":"Dynamic Infilling Anchors for Format-Constrained Generation in Diffusion Large Language Models","created":"2026-06-03","cited_by_count":0,"area":null},{"id":"2607.08339","title":"TypeProbe: Recovering Type Representations from Hidden States of Pre-trained Code Models","created":"2026-07-09","cited_by_count":0,"area":null},{"id":"2607.13921","title":"Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code","created":"2026-07-15","cited_by_count":0,"area":null},{"id":"2607.18254","title":"Cross-Dialect Generalization Without Retraining: Benchmarks and Evaluation of Schema-Derived Constrained Decoding for MLIR","created":"2026-05-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.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.09260","title":"SafeQL: Search-based Refinement for Safe and Efficient LLM-based Text-to-SQL","created":"2026-08-10","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.02909","title":"Constraint-Aware Training","created":"2026-10-02","cited_by_count":0,"area":null},{"id":"2610.13896","title":"Structural Automata for Neural Semantic Parsing","created":"2026-10-09","cited_by_count":0,"area":null}],"next_cursor":null}