Image de couverture de livre

Universal Conditional Logic: A Formal Language for Prompt Engineering

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Mikinka, Anthony
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Computation and Language Machine Learning Programming Languages Software Engineering 68T50, 68Q42 I.2.7; F.4.2; D.3.2
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

SAGED: A Holistic Bias-Benchmarking Pipeline for Language Models with Customisable Fairness Calibration
par: Guan, Xin, et autres
Publié: (2024)

Black-box Context-free Grammar Inference for Readable & Natural Grammars
par: Arefin, Mohammad Rifat, et autres
Publié: (2025)

CELI: Controller-Embedded Language Model Interactions
par: Wagner, Jan-Samuel, et autres
Publié: (2024)

High-Performance Generation of Constrained Inputs
par: Crump, Addison, et autres
Publié: (2025)

Separate Before You Compress: The WWHO Tokenization Architecture
par: Darshana, Kusal
Publié: (2026)

Do LLMs have a Gender (Entropy) Bias?
par: Prabhune, Sonal, et autres
Publié: (2025)

When Many-Shot Prompting Fails: An Empirical Study of LLM Code Translation
par: Oskooei, Amirkia Rafiei, et autres
Publié: (2025)

Learning Program Behavioral Models from Synthesized Input-Output Pairs
par: Mammadov, Tural, et autres
Publié: (2024)

Language-Based Protocol Testing
par: Liggesmeyer, Alexander, et autres
Publié: (2025)

Who's Asking? Investigating Bias Through the Lens of Disability Framed Queries in LLMs
par: Hari, Vishnu, et autres
Publié: (2025)

MicroRemed: Benchmarking LLMs in Microservices Remediation
par: Zhang, Lingzhe, et autres
Publié: (2025)

Communicative Agents for Slideshow Storytelling Video Generation based on LLMs
par: Fan, Jingxing, et autres
Publié: (2025)

Understanding the Uncertainty of LLM Explanations: A Perspective Based on Reasoning Topology
par: Da, Longchao, et autres
Publié: (2025)

Position: Uncertainty Quantification in LLMs is Just Unsupervised Clustering
par: Chen, Tiejin, et autres
Publié: (2026)

QHackBench: Benchmarking Large Language Models for Quantum Code Generation Using PennyLane Hackathon Challenges
par: Basit, Abdul, et autres
Publié: (2025)

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
par: Khan, Ishraq, et autres
Publié: (2025)

Around Context-Free Grammars -- a Normal Form, a Representation Theorem, and a Regular Approximation
par: Cojocaru, Liliana
Publié: (2015)

Anti-Context-Free languages
par: Cardó, Carles
Publié: (2024)

Supporting software engineering tasks with agentic AI: Demonstration on document retrieval and test scenario generation
par: Kica, Marian, et autres
Publié: (2026)

Drama Engine: A Framework for Narrative Agents
par: Pichlmair, Martin, et autres
Publié: (2024)

NeuroState-Bench: A Human-Calibrated Benchmark for Commitment Integrity in LLM Agent Profiles
par: Jia, Xiao
Publié: (2026)

The Generation-Recognition Asymmetry: Six Dimensions of a Fundamental Divide in Formal Language Theory
par: Peyrichou, Romain
Publié: (2026)

Diagnosing Multi-step Reasoning Failures in Black-box LLMs via Stepwise Confidence Attribution
par: Liu, Xiaoou, et autres
Publié: (2026)

Is It Time To Treat Prompts As Code? A Multi-Use Case Study For Prompt Optimization Using DSPy
par: Lemos, Francisca, et autres
Publié: (2025)

GPT-4.1 Sets the Standard in Automated Experiment Design Using Novel Python Libraries
par: Fachada, Nuno, et autres
Publié: (2025)

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
par: Koomullil, George
Publié: (2026)

Inferring Input Grammars from Code with Symbolic Parsing
par: Bettscheider, Leon, et autres
Publié: (2025)

Enhancing Trust in LLMs: Algorithms for Comparing and Interpreting LLMs
par: Brown, Nik Bear
Publié: (2024)

Large Language Models for Propaganda Span Annotation
par: Hasanain, Maram, et autres
Publié: (2023)

Multilingual and Multimodal LLMs in the Wild: Building for Low-Resource Languages
par: Alam, Firoj, et autres
Publié: (2026)

Formal Proofs as Structured Explanations: Proposing Several Tasks on Explainable Natural Language Inference
par: Abzianidze, Lasha
Publié: (2023)

Tool Receipts, Not Zero-Knowledge Proofs: Practical Hallucination Detection for AI Agents
par: Basu, Abhinaba
Publié: (2026)

Simple and Effective Baselines for Code Summarisation Evaluation
par: Robinson, Jade, et autres
Publié: (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
par: Nourmohammadi, Naeimeh, et autres
Publié: (2026)

Fuzzy Logic Guided Reward Function Variation: An Oracle for Testing Reinforcement Learning Programs
par: Zhang, Shiyu, et autres
Publié: (2024)

D-SMART: Enhancing LLM Dialogue Consistency via Dynamic Structured Memory And Reasoning Tree
par: Lei, Xiang, et autres
Publié: (2025)

MerNav: A Highly Generalizable Memory-Execute-Review Framework for Zero-Shot Object Goal Navigation
par: Qi, Dekang, et autres
Publié: (2026)

Native vs Non-Native Language Prompting: A Comparative Analysis
par: Kmainasi, Mohamed Bayan, et autres
Publié: (2024)

Toward Self-Driving Universities: Can Universities Drive Themselves with Agentic AI?
par: Koubaa, Anis
Publié: (2026)

A theoretical model of dynamical grammatical gender shifting based on set-valued set function
par: Idrissi, Mohamed El
Publié: (2026)