Imagen de Portada

Monadic Context Engineering

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhang, Yifan, Yuan, Yang, Wang, Mengdi, Yao, Andrew Chi-Chih
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence Computation and Language Formal Languages and Automata Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

ToolGate: Contract-Grounded and Verified Tool Execution for LLMs
por: Liu, Yanming, et al.
Publicado: (2026)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
por: Iosif, Radu, et al.
Publicado: (2023)

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification
por: Yao, Zhen, et al.
Publicado: (2025)

Beyond Memorization: Testing LLM Reasoning on Unseen Theory of Computation Tasks
por: Shelat, Shlok, et al.
Publicado: (2026)

Integrating Supertag Features into Neural Discontinuous Constituent Parsing
por: Mielczarek, Lukas
Publicado: (2024)

On Synthesis of Timed Regular Expressions
por: Wang, Ziran, et al.
Publicado: (2025)

Monads and limits in bicategories of circuits
por: Loregian, Fosco
Publicado: (2025)

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
por: Wang, Ruida, et al.
Publicado: (2024)

Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces
por: Yang, Yunhao, et al.
Publicado: (2025)

RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification
por: Yang, Yunhao, et al.
Publicado: (2025)

Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
por: Yang, Yunhao, et al.
Publicado: (2023)

Fine-Tuning Language Models Using Formal Methods Feedback
por: Yang, Yunhao, et al.
Publicado: (2023)

BEAVER: An Efficient Deterministic LLM Verifier
por: Suresh, Tarun, et al.
Publicado: (2025)

HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs
por: Ospanov, Azim, et al.
Publicado: (2025)

Inference of Deterministic Finite Automata via Q-Learning
por: Hosseinkhani, Elaheh, et al.
Publicado: (2025)

Mechanics of Learned Reasoning 1: TempoBench, A Benchmark for Interpretable Deconstruction of Reasoning System Performance
por: Holzer, Nikolaus, et al.
Publicado: (2025)

RegexPSPACE: A Benchmark for Evaluating LLM Reasoning on PSPACE-complete Regex Problems
por: Jin, Hyundong, et al.
Publicado: (2025)

Are Agents Probabilistic Automata? A Trace-Based, Memory-Constrained Theory of Agentic AI
por: Koohestani, Roham, et al.
Publicado: (2025)

In System Alignments we Trust! Explainable Alignments via Projections
por: Sommers, Dominique, et al.
Publicado: (2025)

Stochastic Directly-Follows Process Discovery Using Grammatical Inference
por: Alkhammash, Hanan, et al.
Publicado: (2023)

LLMs as Probabilistic Minimally Adequate Teachers for DFA Learning
por: Chen, Lekai, et al.
Publicado: (2024)

Congruence-based Learning of Probabilistic Deterministic Finite Automata
por: Carrasco, Matías, et al.
Publicado: (2024)

Large Language Models and the Extended Church-Turing Thesis
por: Wiedermann, Jiří, et al.
Publicado: (2024)

Finding path and cycle counting formulae in graphs with Deep Reinforcement Learning
por: Piquenot, Jason, et al.
Publicado: (2024)

Computing the Reachability Value of Posterior-Deterministic POMDPs
por: Fijalkow, Nathanaël, et al.
Publicado: (2026)

Logic-Gated Time-Shared Feedforward Networks for Alternating Finite Automata: Exact Simulation and Learnability
por: Dhayalkar, Sahil Rajesh
Publicado: (2026)

Directed Regular and Context-Free Languages
por: Ganardi, Moses, et al.
Publicado: (2024)

SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models
por: Wu, Yi, et al.
Publicado: (2024)

Exploring Major Transitions in the Evolution of Biological Cognition With Artificial Neural Networks
por: Voudouris, Konstantinos, et al.
Publicado: (2025)

InductionBench: LLMs Fail in the Simplest Complexity Class
por: Hua, Wenyue, et al.
Publicado: (2025)

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
por: Li, Zelong, et al.
Publicado: (2024)

Monads, Comonads, and Transducers
por: Stefański, Rafał
Publicado: (2024)

Automata Extraction from Transformers
por: Zhang, Yihao, et al.
Publicado: (2024)

Can adversarial attacks by large language models be attributed?
por: Cebrian, Manuel, et al.
Publicado: (2024)

Computability of Agentic Systems
por: Viriyasuthee, Chatavut
Publicado: (2026)

Joint Verification and Refinement of Language Models for Safety-Constrained Planning
por: Yang, Yunhao, et al.
Publicado: (2024)

The Lottery LLM Hypothesis, Rethinking What Abilities Should LLM Compression Preserve?
por: Tang, Zhenheng, et al.
Publicado: (2025)

Extracting Robust Register Automata from Neural Networks over Data Sequences
por: Hong, Chih-Duo, et al.
Publicado: (2025)

ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair
por: Chen, Zhiyong, et al.
Publicado: (2026)

Forbidden-Context & Ordered Grammar Systems
por: Fernau, Henning, et al.
Publicado: (2026)