Buchumschlag

Universal Conditional Logic: A Formal Language for Prompt Engineering

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Mikinka, Anthony
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Computation and Language Machine Learning Programming Languages Software Engineering 68T50, 68Q42 I.2.7; F.4.2; D.3.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SAGED: A Holistic Bias-Benchmarking Pipeline for Language Models with Customisable Fairness Calibration
von: Guan, Xin, et al.
Veröffentlicht: (2024)

Black-box Context-free Grammar Inference for Readable & Natural Grammars
von: Arefin, Mohammad Rifat, et al.
Veröffentlicht: (2025)

CELI: Controller-Embedded Language Model Interactions
von: Wagner, Jan-Samuel, et al.
Veröffentlicht: (2024)

High-Performance Generation of Constrained Inputs
von: Crump, Addison, et al.
Veröffentlicht: (2025)

Separate Before You Compress: The WWHO Tokenization Architecture
von: Darshana, Kusal
Veröffentlicht: (2026)

Do LLMs have a Gender (Entropy) Bias?
von: Prabhune, Sonal, et al.
Veröffentlicht: (2025)

When Many-Shot Prompting Fails: An Empirical Study of LLM Code Translation
von: Oskooei, Amirkia Rafiei, et al.
Veröffentlicht: (2025)

Learning Program Behavioral Models from Synthesized Input-Output Pairs
von: Mammadov, Tural, et al.
Veröffentlicht: (2024)

Language-Based Protocol Testing
von: Liggesmeyer, Alexander, et al.
Veröffentlicht: (2025)

Who's Asking? Investigating Bias Through the Lens of Disability Framed Queries in LLMs
von: Hari, Vishnu, et al.
Veröffentlicht: (2025)

MicroRemed: Benchmarking LLMs in Microservices Remediation
von: Zhang, Lingzhe, et al.
Veröffentlicht: (2025)

Communicative Agents for Slideshow Storytelling Video Generation based on LLMs
von: Fan, Jingxing, et al.
Veröffentlicht: (2025)

Understanding the Uncertainty of LLM Explanations: A Perspective Based on Reasoning Topology
von: Da, Longchao, et al.
Veröffentlicht: (2025)

Position: Uncertainty Quantification in LLMs is Just Unsupervised Clustering
von: Chen, Tiejin, et al.
Veröffentlicht: (2026)

QHackBench: Benchmarking Large Language Models for Quantum Code Generation Using PennyLane Hackathon Challenges
von: Basit, Abdul, et al.
Veröffentlicht: (2025)

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
von: Khan, Ishraq, et al.
Veröffentlicht: (2025)

Around Context-Free Grammars -- a Normal Form, a Representation Theorem, and a Regular Approximation
von: Cojocaru, Liliana
Veröffentlicht: (2015)

Anti-Context-Free languages
von: Cardó, Carles
Veröffentlicht: (2024)

Supporting software engineering tasks with agentic AI: Demonstration on document retrieval and test scenario generation
von: Kica, Marian, et al.
Veröffentlicht: (2026)

Drama Engine: A Framework for Narrative Agents
von: Pichlmair, Martin, et al.
Veröffentlicht: (2024)

NeuroState-Bench: A Human-Calibrated Benchmark for Commitment Integrity in LLM Agent Profiles
von: Jia, Xiao
Veröffentlicht: (2026)

The Generation-Recognition Asymmetry: Six Dimensions of a Fundamental Divide in Formal Language Theory
von: Peyrichou, Romain
Veröffentlicht: (2026)

Diagnosing Multi-step Reasoning Failures in Black-box LLMs via Stepwise Confidence Attribution
von: Liu, Xiaoou, et al.
Veröffentlicht: (2026)

Is It Time To Treat Prompts As Code? A Multi-Use Case Study For Prompt Optimization Using DSPy
von: Lemos, Francisca, et al.
Veröffentlicht: (2025)

GPT-4.1 Sets the Standard in Automated Experiment Design Using Novel Python Libraries
von: Fachada, Nuno, et al.
Veröffentlicht: (2025)

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
von: Koomullil, George
Veröffentlicht: (2026)

Inferring Input Grammars from Code with Symbolic Parsing
von: Bettscheider, Leon, et al.
Veröffentlicht: (2025)

Enhancing Trust in LLMs: Algorithms for Comparing and Interpreting LLMs
von: Brown, Nik Bear
Veröffentlicht: (2024)

Large Language Models for Propaganda Span Annotation
von: Hasanain, Maram, et al.
Veröffentlicht: (2023)

Multilingual and Multimodal LLMs in the Wild: Building for Low-Resource Languages
von: Alam, Firoj, et al.
Veröffentlicht: (2026)

Formal Proofs as Structured Explanations: Proposing Several Tasks on Explainable Natural Language Inference
von: Abzianidze, Lasha
Veröffentlicht: (2023)

Tool Receipts, Not Zero-Knowledge Proofs: Practical Hallucination Detection for AI Agents
von: Basu, Abhinaba
Veröffentlicht: (2026)

Simple and Effective Baselines for Code Summarisation Evaluation
von: Robinson, Jade, et al.
Veröffentlicht: (2025)

A Multi-Agent Framework for Medical AI: Leveraging Fine-Tuned GPT, LLaMA, and DeepSeek R1 for Evidence-Based and Bias-Aware Clinical Query Processing
von: Nourmohammadi, Naeimeh, et al.
Veröffentlicht: (2026)

Fuzzy Logic Guided Reward Function Variation: An Oracle for Testing Reinforcement Learning Programs
von: Zhang, Shiyu, et al.
Veröffentlicht: (2024)

D-SMART: Enhancing LLM Dialogue Consistency via Dynamic Structured Memory And Reasoning Tree
von: Lei, Xiang, et al.
Veröffentlicht: (2025)

MerNav: A Highly Generalizable Memory-Execute-Review Framework for Zero-Shot Object Goal Navigation
von: Qi, Dekang, et al.
Veröffentlicht: (2026)

Native vs Non-Native Language Prompting: A Comparative Analysis
von: Kmainasi, Mohamed Bayan, et al.
Veröffentlicht: (2024)

Toward Self-Driving Universities: Can Universities Drive Themselves with Agentic AI?
von: Koubaa, Anis
Veröffentlicht: (2026)

A theoretical model of dynamical grammatical gender shifting based on set-valued set function
von: Idrissi, Mohamed El
Veröffentlicht: (2026)