Research works

Appendix A · The Factory: A Formal Paper Built From Its Contract, With No Module Written By Hand

A deterministic architecture engine declares software architecture as verifiable constraints and confronts them against real code. Since August 2026 it also builds: given a contract carrying structures, signatures and flow, its factory` plane produces the complete system, with an...

Creating a Digital Edition with Generative AI in a Seminar Setting

This short paper was presented at the TEI2026 conference in Vancouver on August 13, 2026. An HTML version of the slides published here as PDF is available at: https://hennyu.github.io/tei_26/#/ In the talk, the experiences of using GenAI to create a prototype of a Digital Scholar...

Sapience: A Hybrid Architecture for Long-Context Reasoning and Continual Learning

Frontier models approach long-context reasoning by scaling the transformer context window: one of the several memory systems the brain evolved, scaled alone. We present Sapience, a hybrid architecture that builds the missing ones: a substitutable transformer cortex coupled to hip...

A matrix-valued von Mangoldt measure in the finite Connes-van Suijlekom path

A matrix-valued von Mangoldt measure in the finite Connes-van Suijlekom path. Akiva Groskin, 2026. Manuscript (18 pages) and full reproducibility package. Fix a Galerkin level N in the finite Connes-van Suijlekom truncation of the Weil quadratic form (no archimedean cutoff) and v...

A finite Guinand-Weil dictionary and archimedean tail order for the truncated Weil quadratic form

We prove an exact finite dictionary from each real even finite Connes-van Suijlekom Galerkin coefficient vector to a band-limited Guinand-Weil test function: every value of the truncated Weil quadratic form is an exact sum over the nontrivial zeros of the Riemann zeta function. A...

Evolution, Not Revolution: A Manifesto for the Considered Reform of a Confident Nation

Version 6 is a reconciliation release. The set now comprises four documents that agree at the point of detail: The Manifesto, The Academic Précis, The Arithmetic, a fiscal companion that costs the programme in full, and a national Profit & Loss Statement and balance sheet model a...

Alkali Metal Ion Migration Modulation-Induced High-Performance Low-Temperature Solid Oxide Fuel Cells

Abstract Reducing the operating temperature while maintaining a stable performance is a key challenge for solid oxide fuel cells (SOFCs). Here, we improve the performance of low-temperature SOFCs by modulating the migration of alkali metal ions within the cell. To visualize the m...

AI Agent Memory Architectures: Episodic, Semantic, and Working Memory in Long-Horizon Tasks

Research article: AI Agent Memory Architectures: Episodic, Semantic, and Working Memory in Long-Horizon Tasks

A Fourth-Logarithmic-Derivative Inequality for the Riemann Xi Kernel

We prove a global fourth-logarithmic-derivative inequality for the positive even Riemann Xi kernel \[\Phi(x)=\sum_{n=1}^{\infty}\pi n^2\left(2\pi n^2e^{4x}-3\right)\exp\left(5x-\pi n^2e^{4x}\right),\] extended evenly to the real axis. Writing \[L(x)=\log\Phi(x),\] the main result...

Symmetric rendezvous on unlabelled complete graphs below the Anderson–Weber constant: certified manuscripts, exact-rational certificates, Lean 4 formalization, and independent audit layer

This record contains two companion manuscripts on symmetric rendezvous on unlabelled complete graphs, together with their complete reproducibility supplement Paper I (upper bound) constructs a legal symmetric strategy with lim E[T_n]/(n−1) = 0.82887837309423433534… < c_AW = 0.828...

Early functional reactivity to a CEACAM5 x CD3 T cell bispecific antibody in solid tumors associates with baseline immune contexture rather than target antigen density alone

Abstract Clinical translation of T cell bispecific (TCB) therapies in solid tumors is hindered by the immunosuppressive tumor microenvironment and intratumoral heterogeneity, features poorly captured by standard preclinical models. We applied an integrated translational framework...

Sex differences in neurogenic hypertension: estrogen modulation of NADPH oxidase signaling in the rostral ventrolateral medulla

Abstract Neurogenic hypertension is characterized by sustained sympathetic activation arising from dysregulation within the central autonomic network. The rostral ventrolateral medulla (RVLM) is a major sympathetic premotor region that integrates reflex, neurohumoral, inflammator...

Recent Advancesin Nonprecious Metal Catalysis

Abstract As part of a precompetitive alliance, Boehringer Ingelheim, Pfizer, and AbbVie publish a quarterly review series dedicated to recent advances in nonprecious metal catalysis (NPMC). By informing synthetic chemists about noteworthy developments in NPMC, these reviews aim t...

A Fourth-Logarithmic-Derivative Inequality for the Riemann Xi Kernel

We prove a global fourth-logarithmic-derivative inequality for the positive even Riemann Xi kernel \[\Phi(x)=\sum_{n=1}^{\infty}\pi n^2\left(2\pi n^2e^{4x}-3\right)\exp\left(5x-\pi n^2e^{4x}\right),\] extended evenly to the real axis. Writing \[L(x)=\log\Phi(x),\] the main result...

Fire behaviour of thermo-mechanically densified wood

Abstract This study investigates the effect of thermo-mechanical densification on the fire behaviour of wood using cone calorimetry. Scots pine wood was thermo-mechanically densified from an initial thickness of 20 mm to target thicknesses of 14 and 10 mm and compared with non-de...

Characterising fibre alignment in moulded fibre materials across X, Y, and Z axes

Abstract Moulded fibre is emerging as a sustainable alternative to single-use plastic items, commonly used for food and non-food packaging. Yet its mechanical properties are often inferior to oriented paper products, due to the limited fibre alignment during forming. This study i...

Exact Signs and Sharp Boundaries for Product-Binomial Dold Coefficients

Let X be a rational exterior space and let f: X → X. Let A = Q(f*) be the graded action on the indecomposable quotient of the positive-degree rational cohomology of X. Suppose that χ_A(t) = t^s ∏_j (t^{n_j} − a_j)^{k_j}, with a nonempty product and every a_j ≥ 3. Powering the bin...

AI Agent Memory Architectures: Episodic, Semantic, and Working Memory in Long-Horizon Tasks

Research article: AI Agent Memory Architectures: Episodic, Semantic, and Working Memory in Long-Horizon Tasks

The outpatient economic burden of respiratory syncytial virus infection in adults aged ≥ 60 years in Germany: results from the BUCOSS study

Abstract Background Respiratory syncytial virus (RSV) is a major cause of acute respiratory infection (ARI) in adults aged ≥ 60 years, but data on its outpatient epidemiology and societal costs remain limited. Methods BUCOSS was a prospective observational study conducted over 3...

Non-MonotonicStructural Evolution and Enhanced NonlinearOptical Performance in Li x Ag1– x GaTe2 Solid Solutions

Abstract A series of LixAg1–xGaTe2 (x = 0.1 ∼ 0.6) solid-solution single crystals was grown by the Bridgman method. The inherent instability of LiGaTe2 and the narrow bandgap of AgGaTe2 are simultaneously surmounted, and the structure and nonlinear optical performance are thereby...