{"total":13,"rows":[{"id":"2606.21619","title":"The Alignment Problem in Constrained Code Generation","created":"2026-06-19","cited_by_count":1,"area":null},{"id":"2602.08422","title":"LLMs + Security = Trouble","created":"2026-02-09","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.30054","title":"Projectional Decoding: Towards Semantic-Aware LLM Generation","created":"2026-05-28","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.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},{"id":"2610.18612","title":"Nudge the Judge: Uncovering Program Decision Hijacking in Real-World Jev Applications","created":"2026-10-13","cited_by_count":0,"area":null}],"next_cursor":null}