arXiv AI
Unraveling the iterative CHAD
Read the original on arXiv AI →The Flow has not summarised this story yet — read it at arXiv AI.
Related stories
arXiv Machine Learning
2d ago
Token Space: A Category Theory Framework for AI Computations
arXiv:2404.11624v3 Announce Type: replace-cross Abstract: We introduce Token Space, a categorical framework for AI computations based on explicit structural records. Five theses guide it: object inte...
arXiv AI
Jun 2
SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations
arXiv:2606. 00220v1 Announce Type: cross Abstract: Formal methods provide rigorous accounts of program behavior, but practical software engineering often works through executable libraries, tests, and incremental design.
Hugging Face Trending Papers
Sep 21
Djinnlang: Higher-Level Programming by Unambiguous Specification with an LLM in the Compiler
Programmers write formal specifications, and LLMs implement them, proving that each implementation matches its spec. Taken to its extreme, this makes specification languages the new programming langua...
arXiv AI
Sep 23
Djinnlang: Higher-Level Programming by Unambiguous Specification with an LLM in the Compiler
arXiv:2609.23954v1 Announce Type: cross Abstract: Programmers write formal specifications, and LLMs implement them, proving that each implementation matches its spec. Taken to its extreme, this makes...
arXiv AI
Jul 22
From Dependency to Compositionality: A Neurosymbolic Lifting of LLM Outputs via Combinatory Categorial Grammar
arXiv:2607. 18961v1 Announce Type: new Abstract: Large language models (LLMs) generate fluent text by incrementally predicting the next token from a prefix.
arXiv AI
Jul 24
A New Well-Supported Semantics for Description Logic Programs
arXiv:2607. 21203v1 Announce Type: new Abstract: Description logic programs are a powerful formalism for combining rules with ontologies.