Cover Image

Online Prompt Selection for Program Synthesis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Yixuan, Frampton, Lewis, Mora, Federico, Polgreen, Elizabeth
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Validating LLM-Generated Programs with Metamorphic Prompt Testing
by: Wang, Xiaoyin, et al.
Published: (2024)

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
by: Bouras, Dimitrios Stamatios, et al.
Published: (2025)

Selection of Prompt Engineering Techniques for Code Generation through Predicting Code Complexity
by: Wang, Chung-Yu, et al.
Published: (2024)

QualityFlow: An Agentic Workflow for Program Synthesis Controlled by LLM Quality Checks
by: Hu, Yaojie, et al.
Published: (2025)

RAG-MCP: Mitigating Prompt Bloat in LLM Tool Selection via Retrieval-Augmented Generation
by: Gan, Tiantian, et al.
Published: (2025)

Prompt Driven Development with Claude Code: Building a Complete TUI Framework for the Ring Programming Language
by: Fayed, Mahmoud Samir, et al.
Published: (2026)

Dr. Boot: Bootstrapping Program Synthesis Language Models to Perform Repairing
by: van der Vleuten, Noah
Published: (2025)

GPIoT: Tailoring Small Language Models for IoT Program Synthesis and Development
by: Shen, Leming, et al.
Published: (2025)

Guiding Enumerative Program Synthesis with Large Language Models
by: Li, Yixuan, et al.
Published: (2024)

PromptPex: Automatic Test Generation for Language Model Prompts
by: Sharma, Reshabh K, et al.
Published: (2025)

Prompt Less, Smile More: MTP with Semantic Engineering in Lieu of Prompt Engineering
by: Dantanarayana, Jayanaka L., et al.
Published: (2025)

Tensor Program Optimization for the RISC-V Vector Extension Using Probabilistic Programs
by: Peccia, Federico Nicolas, et al.
Published: (2025)

Multi-Sample Prompting and Actor-Critic Prompt Optimization for Diverse Synthetic Data Generation
by: El-Hajjami, Abdelkarim, et al.
Published: (2025)

On Unified Prompt Tuning for Request Quality Assurance in Public Code Review
by: Chen, Xinyu, et al.
Published: (2024)

Understanding Prompt Programming Tasks and Questions
by: Liang, Jenny T., et al.
Published: (2025)

Knowledge-Guided Prompt Learning for Request Quality Assurance in Public Code Review
by: Li, Lin, et al.
Published: (2024)

Automated Snippet-Alignment Data Augmentation for Code Translation
by: Zhang, Zhiming, et al.
Published: (2025)

Evaluating the Generalizability of LLMs in Automated Program Repair
by: Li, Fengjie, et al.
Published: (2025)

Effective Code Membership Inference for Code Completion Models via Adversarial Prompts
by: Jiang, Yuan, et al.
Published: (2025)

An Empirically-grounded tool for Automatic Prompt Linting and Repair: A Case Study on Bias, Vulnerability, and Optimization in Developer Prompts
by: Rzig, Dhia Elhaq, et al.
Published: (2025)

Prompts Are Programs Too! Understanding How Developers Build Software Containing Prompts
by: Liang, Jenny T., et al.
Published: (2024)

Understanding Prompt Management in GitHub Repositories: A Call for Best Practices
by: Li, Hao, et al.
Published: (2025)

Enhancing Automated Program Repair with Solution Design
by: Zhao, Jiuang, et al.
Published: (2024)

HAFixAgent: History-Aware Program Repair Agent
by: Shi, Yu, et al.
Published: (2025)

MicLog: Towards Accurate and Efficient LLM-based Log Parsing via Progressive Meta In-Context Learning
by: Yu, Jianbo, et al.
Published: (2026)

Planning-Driven Programming: A Large Language Model Programming Workflow
by: Lei, Chao, et al.
Published: (2024)

ProgramBench: Can Language Models Rebuild Programs From Scratch?
by: Yang, John, et al.
Published: (2026)

Task-oriented Prompt Enhancement via Script Generation
by: Wang, Chung-Yu, et al.
Published: (2024)

Cost-Efficient Prompt Engineering for Unsupervised Entity Resolution
by: Nananukul, Navapat, et al.
Published: (2023)

The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs
by: Li, Haonan, et al.
Published: (2025)

Herb.jl: A Unifying Program Synthesis Library
by: Hinnerichs, Tilman, et al.
Published: (2025)

Certified Program Synthesis with a Multi-Modal Verifier
by: Feng, Yueyang, et al.
Published: (2026)

Mapping the Trust Terrain: LLMs in Software Engineering -- Insights and Perspectives
by: Khati, Dipin, et al.
Published: (2025)

Toward Neurosymbolic Program Comprehension
by: Velasco, Alejandro, et al.
Published: (2025)

API-guided Dataset Synthesis to Finetune Large Code Models
by: Li, Zongjie, et al.
Published: (2024)

$T^3$: Multi-level Tree-based Automatic Program Repair with Large Language Models
by: Liu, Quanming, et al.
Published: (2025)

CrossPL: Evaluating Large Language Models on Cross Programming Language Code Generation
by: Xiong, Zhanhang, et al.
Published: (2025)

TDD Governance for Multi-Agent Code Generation via Prompt Engineering
by: Hasanli, Tarlan, et al.
Published: (2026)

Conventional Commit Classification using Large Language Models and Prompt Engineering
by: Quadir, H. M. Sazzad, et al.
Published: (2026)

GEMS: Generative Expert Metric System through Iterative Prompt Priming
by: Cheng, Ti-Chung, et al.
Published: (2024)