mlsanityData to 14 Oct 2026

Prompt Less, Smile More: MTP with Semantic Engineering in Lieu of Prompt Engineering

arXiv 2511.19427 ↗First posted 24 Nov 2025cs.SE cs.AIcited by 0

Not on the map. Why?

Abstract (arXiv)

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, Semantic Engineering extends MTP to incorporate these enriched semantics during prompt generation. We further introduce a benchmark suite designed to reflect realistic AI-Integrated application scenarios. Our evaluation shows that Semantic Engineering substantially improves prompt fidelity, achieving performance comparable to Prompt Engineering while requiring significantly less developer effort.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 21 of its 40 references that are in the map. First posted on arXiv 24 Nov 2025.

Builds on

21 of 40 references.

References · 21

  1. 2021Training Verifiers to Solve Math Word Problemscited by 10,109
  2. 2018HotpotQA: A Dataset for Diverse, Explainable Multi-hop Question Answeringcited by 3,754
  3. 2023SWE-bench: Can Language Models Resolve Real-World GitHub Issues?cited by 3,373
  4. 2021LAION-400M: Open Dataset of CLIP-Filtered 400 Million Image-Text Pairscited by 1,555
  5. 2023SGLang: Efficient Execution of Structured Language Model Programscited by 1,141
  6. 2023DSPy: Compiling Declarative Language Model Calls into Self-Improving Pipelinescited by 832
  7. 2025GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learningcited by 542
  8. 2024A Systematic Survey of Prompt Engineering in Large Language Models: Techniques and Applicationscited by 431
  9. 2022Prompting Is Programming: A Query Language for Large Language Modelscited by 110
  10. 2023Scallop: A Language for Neurosymbolic Programmingcited by 63
  11. 2025Type-Constrained Code Generation with Language Modelscited by 35
  12. 2025DocAgent: A Multi-Agent System for Automated Code Documentation Generationcited by 18
9 more
  1. 2024Large Language Models as Software Components: A Taxonomy for LLM-Integrated Applicationscited by 17
  2. 2025PromptPex: Automatic Test Generation for Language Model Promptscited by 9
  3. 2023The Jaseci Programming Paradigm and Runtime Stack: Building Scale-out Production Applications Easy and Fastcited by 4
  4. 2024MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programmingcited by 3
  5. 2024DocuMint: Docstring Generation for Python using Small Language Modelscited by 2
  6. 2025Effective LLM-Driven Code Generation with Pythonesscited by 2
  7. 2025Object-Spatial Programmingcited by 2
  8. 2025Extending Data Spatial Semantics for Scale Agnostic Programmingcited by 2
  9. 2025GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2cited by 1

Built on by

Not cited yet.