Prompt Less, Smile More: MTP with Semantic Engineering in Lieu of Prompt Engineering
Jayanaka L. Dantanarayana, Savini Kashmira, Thakee Nathees, Zichen Zhang, Krisztian Flautner, Lingjia Tang, Jason Mars

TL;DR
This paper introduces Semantic Engineering with SemTexts to enrich program semantics, enabling LLMs to better understand developer intent without manual prompt engineering, thus improving prompt fidelity efficiently.
Contribution
It presents Semantic Context Annotations (SemTexts) integrated into Jac, extending MTP to incorporate enriched semantics and introduces a benchmark for realistic AI-Integrated applications.
Findings
Semantic Engineering improves prompt fidelity significantly.
Performance comparable to prompt engineering with less effort.
Benchmark results demonstrate practical effectiveness.
Abstract
AI-Integrated programming is emerging as a foundational paradigm for building intelligent systems with large language models (LLMs). Recent approaches such as Meaning Typed Programming (MTP) automate prompt generation by leveraging the semantics already present in code. However, many real-world applications depend on contextual cues, developer intent, and domain-specific reasoning that extend beyond what static code semantics alone can express. To address this limitation, we introduce Semantic Engineering, a lightweight method for enriching program semantics so that LLM-based systems can more accurately reflect developer intent without requiring full manual prompt design. We present Semantic Context Annotations (SemTexts), a language-level mechanism that allows developers to embed natural-language context directly into program constructs. Integrated into the Jac programming language,…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Engineering Research · Advanced Software Engineering Methodologies · Software Engineering Techniques and Practices
