Abstract This document presents a complete constitutional framework for a future human society on Mars. The Charter of the United Martian States is a confederative instrument designed for a small, dispersed, high-risk frontier environment in which sovereign constituent polities voluntarily cooperate under strict limits...
Thomas Gangale· Zenodo (CERN European Organi...· 0 citations
Window Theory - AI (wtAI): A Falsifiable Framework for Flexibility-Fragility Coupling in Large Language Models This is a six-part research series examining a structural pattern in decoder-based next-token-prediction systems deployed as dialogue and instruction agents. It is written for readers with a background in mach...
Wai-Hung (Pan) Tam· Zenodo (CERN European Organi...· 0 citations
Small local language models are attractive for privacy-preserving penetration-testing assistants, but their module choices must remain reliable when target-controlled banners contain misleading or instruction-like text. We evaluate module selection in three experiments on an Apple M2 system with 8 GB of memory. A verif...
Piyush Shukla· Zenodo (CERN European Organi...· 0 citations
A black-box, label-free runtime gate for quantized small language models. Each problem is perturbed in two directions by rule -- a restatement whose answer must hold and an edit whose answer must change -- and the responses form a metamorphic fingerprint that a fixed predictor turns into a serve/verify/decline decision...
Bongjin Jung, Joongho Chang· Zenodo (CERN European Organi...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Zeno’s paradoxes are often said, all together, to have been settled by the calculus. What this paper shows is that the four fall to four different tools, and that one of them does not fall to the calculus at all. No new theorem or law is claimed. Scope of this paper (scope note): No new theorem or law is claimed──the s...
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
DESCRIPTION The New Balance of Leverage: How Geopolitical Diversification Redefined the Canada-US Relationship is an interdisciplinary examination of the changing economic, diplomatic, institutional, monetary, industrial, and security relationship between Canada and the United States during a period of heightened trade...
Michael James Arnold· Open Science Framework· 0 citations
Zeno’s paradoxes are often said, all together, to have been settled by the calculus. What this paper shows is that the four fall to four different tools, and that one of them does not fall to the calculus at all. No new theorem or law is claimed. Scope of this paper (scope note): No new theorem or law is claimed──the s...
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
A liquid with small spheres mixed in at volume fraction φ has, when dilute, (1 + 2.5φ) times its original viscosity. Einstein wrote the coefficient as 1 in his 1906 doctoral thesis and corrected it to 2.5 in 1911. This paper checks the Stokes solution for a sphere in a uniform straining flow by symbolic computation, ob...
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
precis-mcp is a Model Context Protocol (MCP) server that gives language-model agents a small, uniform API for reading, writing, and searching across scientific papers, documents, personal state, code, and cached tool calls. Small-model-friendly (7B-class agents are the design target), it exposes a handful of typed verb...
Reto Stamm· Zenodo (CERN European Organi...· 0 citations
A small language model, given a task prefixed with a description of a recurring decision, will often recognize the decision and fail to act on it. This paper draws together a program of studies on that effect and states what drives it. The effect is carried by the content of the description, not by its form: a plain im...
Sophie Neilson· Zenodo (CERN European Organi...· 0 citations
In Tractatus 6.341 Wittgenstein likened mechanics to a net laid over the world: the shape of the mesh (square or triangular) is arbitrary, and all that can be said of the world is that it can be described by a net of this fineness. This paper counts the simile with lattice points. Three lattices of the same density are...
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
This paper describes quant_eval, a behavioral evaluation harness for comparing full-weight and quantized large language models on agent-relevant structured tasks, and demonstrates the methodology on a single worked example. METHOD The harness scores a model against a versioned, content-addressed fixture set across eigh...
Patrick Hill· Zenodo (CERN European Organi...· 0 citations
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.
