5,488,748 AI resources indexedWorking toward the world’s largest AI resource index.

PDF

Retroactive Semantic Computation and Closed-Text Interpretation: Toward a Verifiable Proof-Assistant Model of Interpretation

Research paper by suzume, published 2026 in Zenodo (CERN European Organization for Nuclear Research). Research area: Logic, Reasoning, and Knowledge.

Resource information

Authors
suzume
Research area
Logic, Reasoning, and Knowledge
Application domain
General AI research
AI methods
Large language models
Research topics
Logic, Reasoning, and Knowledge, Literary Theory and Cultural Hermeneutics, Digital Humanities and Scholarship
Publication date
2026-09-29
Publication
Zenodo (CERN European Organization for Nuclear Research)
DOI
10.5281/zenodo.23035548
Citations
0
Last record update
Nov 4, 2026