works on
autoformalization 1formal verification 1large language models 1natural language processing 1software testing 1

From the 1 of 9 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

Imprompt: A Language Framework for Prompt Programming

Chentian Wu, Shengyuan Yang, Adithya Murali

With the unprecedented success of Language Models (LMs), the science of Prompt Engineering has evolved the powerful idea of Prompt Programming, where prompts are treated as a progr…