Get Started
Research questionHow can LLMs generate correct routines when correctness depends on their joint runtime behavior?Textual prompts may describe individual routines without determining whether their combined runtime behavior satisfies the task. As a result, code generation can fail when one routine’s meaning depends on another’s execution.
Code Generation & Program Synthesis
Reasoning
Latest papersRecent research connected to this question, newest first.Dynamic Adaptation of the LLM Context for Generating Routines with Coupled SemanticsThe paper studies a validation–generation loop in which execution traces provide structured diagnostics, a knowledge graph supplies semantic constraints, and candidate routines are selected across iterations. Evidence covers eight problems at 300 and 600 evaluations, with an additional 1,000-evaluation result for the primary cross-coupled optimization problem; the reported comparisons are against zero-shot generation, Reflexion, and OpenEvolve.research paper · Sep 3, 2026
Related questions
How can LLMs generate functionally correct code without introducing security vulnerabilities?How can we generate executable tests that are both sound and discriminative for code-generating LLMs?How can we tell whether LLMs follow coherent, human-like prerequisite relationships in mathematical reasoning?How can LLMs synthesize executable machines and improve their designs through physical simulation feedback?
Home
Topics
Search
Library