Tootfinder

The analogy theorem in Hoare logic
Nikitin Nikita
https://arxiv.org/abs/2510.03685 https://arxiv.org/pdf/2510.03685…

The analogy theorem in Hoare logic
The introduction of machine learning methods has led to significant advances in automation, optimization, and discoveries in various fields of science and technology. However, their widespread application faces a fundamental limitation: the transfer of models between data domains generally lacks a rigorous mathematical justification. The key problem is the lack of formal criteria to guarantee that a model trained on one type of data will retain its properties on another.This paper proposes a so…

Bacterial Gene Regulatory Neural Network as a Biocomputing Library of Mathematical Solvers
Adrian Ratwatte, Samitha Somathilaka, Thanh Cao, Xu Li, Sasitharan Balasubramaniam
https://arxiv.org/abs/2509.21598

Bacterial Gene Regulatory Neural Network as a Biocomputing Library of Mathematical Solvers
Current biocomputing approaches predominantly rely on engineered circuits with fixed logic, offering limited stability and reliability under diverse environmental conditions. Here, we use the GRNN framework introduced in our previous work to transform bacterial gene expression dynamics into a biocomputing library of mathematical solvers. We introduce a sub-GRNN search algorithm that identifies functional subnetworks tailored to specific mathematical calculation and classification tasks by evalu…

ICL Optimized Fragility
Serena Gomez Wannaz
https://arxiv.org/abs/2510.00300 https://arxiv.org/pdf/2510.00300

ICL Optimized Fragility
ICL guides are known to improve task-specific performance, but their impact on cross-domain cognitive abilities remains unexplored. This study examines how ICL guides affect reasoning across different knowledge domains using six variants of the GPT-OSS:20b model: one baseline model and five ICL configurations (simple, chain-of-thought, random, appended text, and symbolic language). The models were subjected to 840 tests spanning general knowledge questions, logic riddles, and a mathematical oly…