001 Behavioral Version Control: Governing Agent Self-Modification of Procedural Memory as Unreviewed Code Change OpenAlex Paper Amjad Shaikh 4 days ago 002 Behavioral Version Control: Governing Agent Self-Modification of Procedural Memory as Unreviewed Code Change OpenAlex Paper Amjad Shaikh 4 days ago 003 Ada言語の魅力 ── 型で設計を語り、数十年動き続けるソフトウェアを支える言語 (archived 2026-07-26) OpenAlex Paper Go Komura 5 days ago 004 Ada言語の魅力 ── 型で設計を語り、数十年動き続けるソフトウェアを支える言語 (archived 2026-07-26) OpenAlex Paper Go Komura 5 days ago 005 LinkML-Scala: a Robust, Fast, and Portable Implementation of LinkML OpenAlex Paper Piotr Sowinski, Kacper Grzymkowski et al. 7 days ago 006 Latent Variable Models and Graphical Models OpenAlex Paper Max Welling, Sirui Lu et al. Jul 22 007 Models and Frameworks OpenAlex Paper Jean-François Denault Jul 16 008 TE_Bench: a foundational benchmarking workflow for transposable element annotation pipelines OpenAlex Paper Hannah P. Kania, Sierra A. Seifert et al. Jul 16 009 Latent Novelification OpenAlex Paper Joseph Meyer, Mick Grierson et al. Jul 13 010 Prose Is the Database: Compiling a Signed, Adoption-Probed Controlled Language into Running Applications with Small Local Models OpenAlex Paper Warrick Galloway Jul 12 011 Prose Is the Database: Compiling a Signed, Adoption-Probed Controlled Language into Running Applications with Small Local Models OpenAlex Paper Warrick Galloway Jul 12 012 MCP-Focus: Leveraging Function-Oriented Document Enhancement for MCP Server Retrieval OpenAlex Paper Wenchun Jing, Haiyang Shen et al. Jul 10 013 Ontological Reconstruction of LLMs V: Engineering Interface Edition of Architectural Reconstruction—Ascend Adaptation and Compute Efficiency Theoretical Analysis OpenAlex Paper ling liu Jul 10 014 Ontological Reconstruction of LLMs V: Engineering Interface Edition of Architectural Reconstruction—Ascend Adaptation and Compute Efficiency Theoretical Analysis OpenAlex Paper ling liu Jul 10 015 Foundations for Complex Model Transformations by Reinforcement Learning with Uncertain Human Guidance OpenAlex Paper Istvan David, Kyanna Dagenais Jul 7 016 Ontological Reconstruction of LLMs V: Engineering Interface Edition of Architectural Reconstruction—Ascend Adaptation and Compute Efficiency Theoretical Analysis OpenAlex Paper ling liu Jul 6 017 Ontological Reconstruction of LLMs V: Engineering Interface Edition of Architectural Reconstruction—Ascend Adaptation and Compute Efficiency Theoretical Analysis OpenAlex Paper ling liu Jul 6 018 Ontological Reconstruction of LLMs V: Engineering Interface Edition of Architectural Reconstruction—Ascend Adaptation and Compute Efficiency Theoretical Analysis OpenAlex Paper ling liu Jul 6 019 Optimus: A Generic Operator-Level PyTorch Model Transformation Framework OpenAlex Paper Menglu Yu, J Q Xu et al. Jul 3 020 A nanopass approach to a modular RDF implementation OpenAlex Paper Duncan Guthrie, Paul Harvey et al. Jun 30 021 AutoScale-ML with HASA: A Docker-Based Framework for Distributed AutoML Model Selection OpenAlex Paper Md. Attaur Rahman Sofi, Mohd. Yousuf Jun 30 022 Tool Paper: AGTix: Concise Use of Scope Graphs in Reference Attribute Grammars OpenAlex Paper Luke Bessant, Eric Van Wyk Jun 30 023 Automated Reasoning with Nested Datatypes OpenAlex Paper Tomer Hakak, Yoni Zohar et al. Jun 29 024 GitPetri : A State-Driven Runtime Kernel for Knowledge-Intensive Systems. Context Is Everything OpenAlex Paper Hasan Ucar Jun 27 025 GitPetri : A State-Driven Runtime Kernel for Knowledge-Intensive Systems. Context Is Everything OpenAlex Paper Hasan Ucar Jun 27 026 Architecting Reliable Multi-Agent Systems with Large Language Models Through Model-Driven Engineering OpenAlex Paper Najma Imtiaz Ali, Aadil Jamali et al. Jun 26 027 Personalized Worked Example Generation from Student Code Submissions Using Pattern-based Knowledge Components OpenAlex Paper Griffin Pitts, Muntasir Hoq et al. Jun 22 028 Protocol Epistemology of Finiteness: Polyadic Algebra, Sheaf Cohomology and Topological Regularization in the Hyper-Rete Architecture OpenAlex Paper Daniil Osipenkov Jun 21 029 생성형 프로그램을 위한 유추 엔진 - Analogy Engine for Generative Programs OpenAlex Paper HYEONSEO (현서 최) CHOE Jun 20 030 생성형 프로그램을 위한 유추 엔진 - Analogy Engine for Generative Programs OpenAlex Paper HYEONSEO (현서 최) CHOE Jun 20 031 Extending Retag to Detect Conversion Errors in Syntactic Annotation: SynTagRus as a Case Study OpenAlex Paper Daniil Timchenko, Andrei Movsesian Jun 19 032 RS as a Minimal Reasoning Architecture: How Structural Operators Enable Drift Free LLM Output Without Model Modification OpenAlex Paper Denis Bailey Jun 18 033 RS as a Minimal Reasoning Architecture: How Structural Operators Enable Drift Free LLM Output Without Model Modification OpenAlex Paper Denis Bailey Jun 18 034 Cybernetics After Prompt Engineering: SkillOpt, AutoResearch, and the Governance of Externalized State OpenAlex Paper Peter Bell Jun 15 035 MASV-Veritas Механизмы интеллектуальной честности, верификации и борьбы с ложными паттернами в MASV-Prime OpenAlex Paper Евгений Вацлавович Волынец Jun 15 036 MASV-Veritas Механизмы интеллектуальной честности, верификации и борьбы с ложными паттернами в MASV-Prime OpenAlex Paper Евгений Вацлавович Волынец Jun 15 037 Parameterized Linear Time Transitive Closure OpenAlex Paper Giorgos Kritikakis, Ioannis G. Tollis Jun 12 038 Towards Verified Code Reasoning by LLMs OpenAlex Paper Meghana Aparna Sistla, Gogul Balakrishnan et al. Jun 11 039 Governance Analysis of webMCP as an Emerging Agentic Interface Standard: A substrate-level evaluation of capability exposure, risk surfaces, and governance requirements for agent-callable web actions OpenAlex Paper Narnaiezzsshaa Truong Jun 5 040 Governance Analysis of webMCP as an Emerging Agentic Interface Standard: A substrate-level evaluation of capability exposure, risk surfaces, and governance requirements for agent-callable web actions OpenAlex Paper Narnaiezzsshaa Truong Jun 5 041 Structics: A Syntax for Structural Representation OpenAlex Paper Braeden Charles Jun 2 042 Structics: A Syntax for Structural Representation OpenAlex Paper Braeden Charles Jun 2 043 FIDES: End-to-end Compartments for Mixed-language Systems OpenAlex Paper Sai Venkata Krishnan Rajeswari Sridevi, Arjun Menon et al. Jun 1 044 S1000D Modularization of Legacy Maintenance Manuals Using Style-based Hierarchy Extraction and Multi-step Transformation with a Local LLM OpenAlex Paper Jumyung Um, Youngwoo An et al. Jun 1 045 Toward Testable AI Agent Kernels: Responsibility Layer Separation in MAKI OS Kernel v0.2 OpenAlex Paper Daisuke Tsunemori May 31 046 Toward Testable AI Agent Kernels: Responsibility Layer Separation in MAKI OS Kernel v0.2 OpenAlex Paper Daisuke Tsunemori May 31 047 AI Completionism: A Structural Validation Framework for LLM Outputs using Typed B-Graph Rewriting Systems (TGRS) OpenAlex Paper Yasuyoshi Okada May 30 048 AI Completionism: A Structural Validation Framework for LLM Outputs using Typed B-Graph Rewriting Systems (TGRS) OpenAlex Paper Yasuyoshi Okada May 30 049 AI Completionism: A Structural Validation Framework for LLM Outputs using Typed B-Graph Rewriting Systems (TGRS) OpenAlex Paper Yasuyoshi Okada May 30 050 LLMs con razonamiento para tareas asistivas en entornos domésticos OpenAlex Paper Fergus Proctor, Alicia Mora et al. May 28 051 The 1st International Workshop on Foundations and Architectures for the Agentic Web OpenAlex Paper Boualem Benatallah, Pradyumna Chari et al. May 28 052 Computational Aspects of Plan-Dependent Model Equivalence: The Case of Knowing-How Bisimulations OpenAlex Paper Carlos ARECES, Raul Fervari et al. May 24 053 Prompt-State Machines: Applying Interface-Led Architecture to Structure LLM Reasoning OpenAlex Paper Takuya Sogawa May 21 054 A modular multi-agent pipeline framework for large-scale code translation OpenAlex Paper Tibo Bruneel, Sandu Crucerescu et al. May 20 055 SymbolicAnalysis and LLM-Guided Debugging of Digital Twin Models with ASP Chef and DTDL OpenAlex Paper Mario Alviano, Paola Guarasci May 20 056 An information-theoretic framework for robust large language model editing OpenAlex Paper Qizhou Chen, Chengyu Wang et al. May 18 057 Assembly Instructions for the Modular Mind OpenAlex Paper Kartik Chandra, Jonathan Ragan‐Kelley et al. May 18 058 Assembly Instructions for the Modular Mind OpenAlex Paper Jonathan Ragan‐Kelley, Joshua Tenenbaum et al. May 18 059 ChainBench: An LLM Benchmark for Cross-Chain Code Generation OpenAlex Paper S.I.A. Shah, Austin Bennett et al. May 18 060 ChainBench: An LLM Benchmark for Cross-Chain Code Generation OpenAlex Paper S.I.A. Shah, Austin Bennett et al. May 18