The Flow has not summarised this story yet — read it at arXiv Computation and Language.
arXiv:2608.22446v1 Announce Type: new Abstract: Metaphors are figurative use of words for conceptual mapping. Metaphor detection in the legal context has been crucial as metaphors are persuasive juri...
arXiv:2608. 15432v1 Announce Type: new Abstract: In formal verification, both the autoformalization of statements and automated proof search have been studied extensively.
arXiv:2608.23370v1 Announce Type: new Abstract: Large Language Models (LLMs) recognise patterns but do not natively track the path of exclusions that a coherent discourse demands. When an input rests...
arXiv:2606. 28841v1 Announce Type: cross Abstract: Large language models are increasingly capable of mathematical reasoning, but the proofs they generate are often unreliable and hard to verify.
arXiv:2607. 07891v1 Announce Type: cross Abstract: Roy Harris's Integrationist linguistics offers a compelling critique of the referentialist tradition embedded deep at the heart of computational approaches to language, arguing that language is not a code that maps onto a pre-given world but a situated, bipartite activity oriented toward prospective joint action.
The paper examines how large language model (LLM) outputs are increasingly used in contexts that demand justified interpretations, such as law, education, policy analysis, and public moral debate. It identifies a recurring failure—interpretive misplacement—where model-generated readings are treated as settled meanings without explicit interpretive frames, provenance, or defensible alternatives, leading to accountability loss. Drawing on philosophical hermeneutics, the author proposes design principles for human‑AI co‑interpretation, reorganizes existing LLM techniques into hermeneutically responsible patterns, and discusses implications for legal practice, education, scholarship, and public discourse, while framing digital hermeneutics as a literacy for critically engaging with AI‑mediated texts.