Step (v) of the proof of Theorem 1.10 in Mochizuki's Inter-universal Teichmüller theory IV bounds, for each tuple of places, the log-volume of the corresponding component of the holomorphic hull of the union of possible images of a Θ-pilot object defined in Corollary 3.12 of the third paper. This note gives an explicit...
Toshihisa Urahigashi· Zenodo (CERN European Organi...· 0 citations
(c) 2026 Pranay Mahendrakar. Licensed under CC BY 4.0. Language agents that keep memories across sessions usually discount a record by how long ago it was written or last read. That discount was introduced to decide what an agent attends to, but it is increasingly read as a statement about whether a record is still tru...
Pranay M. Mahendrakar· Zenodo (CERN European Organi...· 0 citations
Step (v) of the proof of Theorem 1.10 in Mochizuki's Inter-universal Teichmüller theory IV bounds, for each tuple of places, the log-volume of the corresponding component of the holomorphic hull of the union of possible images of a Θ-pilot object defined in Corollary 3.12 of the third paper. This note gives an explicit...
Toshihisa Urahigashi· Zenodo (CERN European Organi...· 0 citations
(c) 2026 Pranay Mahendrakar. Licensed under CC BY 4.0. Language agents that keep memories across sessions usually discount a record by how long ago it was written or last read. That discount was introduced to decide what an agent attends to, but it is increasingly read as a statement about whether a record is still tru...
Pranay M. Mahendrakar· Zenodo (CERN European Organi...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
A native SwiftUI application that runs large language models locally on Intel Macs with AMD GPUs, a configuration mainstream inference stacks leave unsupported or incorrect. Beyond packaging, it contributes original work to the Metal backend of llama.cpp: ToshGEMM, a manually tiled matrix multiply that replaces the sim...
Engelbert Delgado· Zenodo (CERN European Organi...· 0 citations
Abstract Randomized controlled trials (RCTs) are central to assessing the benefits and harms of interventions, but incomplete reporting undermines their verifiability and usefulness. Although SPIRIT and CONSORT reporting guidelines promote complete reporting of RCT protocols and results publications, many RCTs remain i...
Lan Jiang, Xiangji Ying, Andrew William Brown et al.· npj Digital Medicine· 0 citations
Causal Encyclopedia — Cumulative PASS295 A Canonical Knowledge Infrastructure for LLM-Assisted Reasoning The Causal Encyclopedia is a cumulative, machine-oriented knowledge infrastructure designed primarily to support large language models, reasoning systems, and human–AI research workflows. Rather than functioning as...
Son David Bolduc· Zenodo (CERN European Organi...· 0 citations
Manual execution of website end-to-end (E2E) test cases is a repetitive, labour-intensive process that creates bottlenecks in modern software development workflows. We investigate the feasibility of automating this process using AutoQA-MAS, a large language model (LLM)-based multi-agent system (MAS) comprising four spe...
Adriana‐Simona Mihăiţă, Kai Sor· Lecture notes in computer sc...· 0 citations
Interactive SvelteKit dashboard for exploring large language model sentiment annotations of the Islam West Africa Collection (IWAC), a corpus of 12,349 francophone West African press articles from 57 newspapers, published between 1961 and 2025 in Benin, Burkina Faso, Côte d'Ivoire, Niger and Togo. Each article is annot...
Frédérick Madore· Zenodo (CERN European Organi...· 0 citations
Cost-driven interest in running large language models (LLMs) on non-mainstream silicon outpaces the maturity of the surrounding software stacks. This paper uses one such platform, the AMD BC-250 (a repurposed cryptocurrency-mining board with a GFX1013 "Cyan Skillfish" accelerated processing unit (APU), 16 GB of unified...
Artur Andrzejczak· Zenodo (CERN European Organi...· 0 citations