Cover Image

DriftScript: A Domain-Specific Language for Programming Non-Axiomatic Reasoning Agents

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Brady, Seamus
Format:	Preprint
Published:	2026
Subjects:	Programming Languages Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Springdrift: An Auditable Persistent Runtime for LLM Agents with Case-Based Memory, Normative Safety, and Ambient Self-Perception
by: Brady, Seamus
Published: (2026)

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
by: Le-Cong, Thanh, et al.
Published: (2025)

Pel, A Programming Language for Orchestrating AI Agents
by: Mohammadi, Behnam
Published: (2025)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
by: Wei, Anjiang, et al.
Published: (2025)

LACUNA: Safe Agents as Recursive Program Holes
by: Zhao, Yaoyu, et al.
Published: (2026)

AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
by: Xu, Shuyuan, et al.
Published: (2024)

PDL: A Declarative Prompt Programming Language
by: Vaziri, Mandana, et al.
Published: (2024)

LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
by: Sultan, Oren, et al.
Published: (2026)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
by: Xia, Shihao, et al.
Published: (2026)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
by: Dantanarayana, Jayanaka L., et al.
Published: (2024)

Can Language Models Solve Olympiad Programming?
by: Shi, Quan, et al.
Published: (2024)

SGLang: Efficient Execution of Structured Language Model Programs
by: Zheng, Lianmin, et al.
Published: (2023)

OBsmith: LLM-Powered JavaScript Obfuscator Testing
by: Jiang, Shan, et al.
Published: (2025)

MonoCoder: Domain-Specific Code Language Model for HPC Codes and Tasks
by: Kadosh, Tal, et al.
Published: (2023)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
by: Rocha, Filipe Marinho, et al.
Published: (2024)

Enhancing Neural Machine Translation of Low-Resource Languages: Corpus Development, Human Evaluation and Explainable AI Architectures
by: Lankford, Séamus
Published: (2024)

ai.txt: A Domain-Specific Language for Guiding AI Interactions with the Internet
by: Li, Yuekang, et al.
Published: (2025)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
by: Dong, Honghua, et al.
Published: (2024)

Agentic Specification Generator for Move Programs
by: Fu, Yu-Fu, et al.
Published: (2025)

EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
by: Li, Zhening, et al.
Published: (2025)

Emergent Representations of Program Semantics in Language Models Trained on Programs
by: Jin, Charles, et al.
Published: (2023)

Modelling Program Spaces in Program Synthesis with Constraints
by: Hinnerichs, Tilman, et al.
Published: (2025)

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions
by: Mell, Stephen, et al.
Published: (2025)

KiloBot: A Programming Language for Deploying Perception-Guided Industrial Manipulators at Scale
by: Gao, Wei, et al.
Published: (2024)

The IsalProgram Programming Language
by: López-Rubio, Ezequiel
Published: (2026)

LLMs Lean on Priors, Not Programming Language Semantics
by: Thimmaiah, Aditya, et al.
Published: (2025)

Probabilistic Programs of Thought
by: Garg, Poorva, et al.
Published: (2026)

Language-Based Agent Control
by: Zhou, Timothy, et al.
Published: (2026)

Relational Programming with Foundation Models
by: Li, Ziyang, et al.
Published: (2024)

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
by: Wei, Anjiang, et al.
Published: (2025)

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
by: Laurent, Jonathan, et al.
Published: (2025)

Explaining Explanations in Probabilistic Logic Programming
by: Vidal, Germán
Published: (2024)

Sharing State Between Prompts and Programs
by: Cheng, Ellie Y., et al.
Published: (2025)

Amortizing Pragmatic Program Synthesis with Rankings
by: Pu, Yewen, et al.
Published: (2024)

Green AI: Which Programming Language Consumes the Most?
by: Marini, Niccolò, et al.
Published: (2024)

Program Semantic Inequivalence Game with Large Language Models
by: Miceli-Barone, Antonio Valerio, et al.
Published: (2025)

Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation
by: Ding, Yaoyao, et al.
Published: (2025)

From Reasoning to Code: GRPO Optimization for Underrepresented Languages
by: Pennino, Federico, et al.
Published: (2025)

CodeMind: Evaluating Large Language Models for Code Reasoning
by: Liu, Changshu, et al.
Published: (2024)

Large Language Models to Generate System-Level Test Programs Targeting Non-functional Properties
by: Schwachhofer, Denis, et al.
Published: (2024)