Our Work

This archive contains the reference implementation and evaluation configurations for homomorphic binary neural-network inference, accompanying the WAHC 2026 paper "Classification in the Dark: Performa…

This archive contains the reference implementation and evaluation configurations for homomorphic binary neural-network inference, accompanying the WAHC 2026 paper "Classification in the Dark: Performance Insights and Novel Methods for Homomorphic Binary Networks" by Lukas Horn, Lennart Svoboda, Simon Engel, Thomas Prantl, and Samuel Kounev.

This dataset provides experimental results from security evaluations of Claude Code, Codex CLI, and Gemini CLI across four vectors.

Describiremos un modelo matemático que se podría utilizar para describir cada uno de los picos de un espectro de Absorción vs. la Longitud de Onda (una función para cada pi…

Describiremos un modelo matemático que se podría utilizar para describir cada uno de los picos de un espectro de Absorción vs. la Longitud de Onda (una función para cada pico).

Frente ao avanço da plataformização curricular padronizada no ensino básico, ao capitalismo de vigilância e aos riscos da semiformação (Halbbildung…

Frente ao avanço da plataformização curricular padronizada no ensino básico, ao capitalismo de vigilância e aos riscos da semiformação (Halbbildung), este artigo investiga como o diálogo entre a Educação Ambiental Crítica, as Tecnologias Sociais e as Metodologias Ativas de Aprendizagem pode fomentar uma práxis educativa emancipatória e sustentável. A partir de uma abordagem qualitativa e documental fundamentada no Materialismo Histórico-Dialético e na Pedagogia Histórico-Crítica, realiza-se uma síntese teórico-empírica comparativa entre o modelo didático corporativizado em slides da rede estadual paulista, os instrumentos pedagógicos de investigação científica da Pedagogia da Alternância na Escola Agrícola Terra Nova (MT) e as metodologias ativas nos Projetos Integradores da Univesp. Os resultados demonstraram que, enquanto os materiais digitais padronizados promovem uma Educação Ambiental periférica, funcional e despolitizada (hegemonia de 82,0% da corrente sistêmica e 76,9% da científica), expropriando a autoria docente e reduzindo o aprendizado à reprodução e mercantilização de dados comportamentais, as tecnologias sociais baseadas na alternância (Plano de Estudo e Caderno de Campo) e a orientação virtual de intervenções ativas resgatam a densidade dos conteúdos científicos, a experiência profunda (Erfahrung) e o trabalho como princípio educativo.

This is AI-generated research: the results, proofs and code were found and written by AI. Credit goes to all the humans whose work it builds on.We consider online linear regression in dimension one wh…

This is AI-generated research: the results, proofs and code were found and written by AI. Credit goes to all the humans whose work it builds on.We consider online linear regression in dimension one when the features are revealed one at a time, with no bound known in advance, and the regret is measured against every linear predictor, with no bound on its parameter. For outcomes bounded by $B$ and a horizon $T\ge355713$, both known to the learner, the minimax regret lies between $B^2(3\log T-2\log\log T-15.2)$ and $B^2(3\log T+0.37)$: an explicit learner attains the upper bound, and an explicit randomized adversary, with features in $[0,1]$, forces the lower bound. A learner that knows neither $B$ nor $T$ has regret at most $M^2(3\log T+4\log\log(T+2)+12+2/\sqrt T+4/T)$ on every play, with $M$ the largest absolute outcome. Lean 4 proves these bounds. Chen, Qian, Rakhlin and Zhivotovskiy (COLT 2026) showed that this regret is of order $\log T$, answering a question of Gaillard et al. (ALT 2019); we find its constant, $3$, which is $1$ with the features known in advance.The order $\log T$ is Theorem 5 and Proposition 6 of Chen, Qian, Rakhlin and Zhivotovskiy, Self-Normalized Martingales and Uniform Regret Bounds for Linear Regression (COLT 2026, PMLR 336; arXiv:2605.01628). The question is in Section 4.1 of Gaillard et al., Uniform regret bounds over $\mathbb{R}^d$ for the sequential linear regression problem with the square loss (ALT 2019, PMLR 98; arXiv:1805.11386).Lean 4 with Mathlib proves the main theorem with its constants, the bounds of the explicit learner and of the explicit adversary with every numerical step and the drift certificate, the extensions to bounded features and randomized learners, and the bound of the learner that knows neither $B$ nor $T$ with its corollaries, with no hypothesis and only the standard axioms.Code, Lean proofs and certificates: github.com/mt0-svg/regret-kappa

An influential paper by Worobey et al. and 17 other authors published in Science in 2022 claimed that case locations and nucleic acid samples showed that SARS-CoV-2 had first been introduced to humans…

An influential paper by Worobey et al. and 17 other authors published in Science in 2022 claimed that case locations and nucleic acid samples showed that SARS-CoV-2 had first been introduced to humans at the Huanan Seafood Market. Several lines of evidence suggest the introduction to humans was earlier and elsewhere.URL: https://econjwatch.org/file_download/1442/WeissmanSept2026.pdf?mimetype=pdf

This replication package accompanies the manuscript "Actionable Meta-Requirements for AI Robustness Auditing." It contains the materials used for the systematic literature review, literature-base…

This replication package accompanies the manuscript "Actionable Meta-Requirements for AI Robustness Auditing." It contains the materials used for the systematic literature review, literature-based meta-requirement derivation, practitioner survey, quantitative survey analysis, qualitative coding of practitioner comments, and final framework refinement. A README file describes the folder structure and the role of the main files.

Purpose – To give an overview of topics related to aviation and climate change. --- Methodology – A presentation of results from literature reviews and own calculations. --- Findings &ndas…

Purpose – To give an overview of topics related to aviation and climate change. --- Methodology – A presentation of results from literature reviews and own calculations. --- Findings – Renewable energy will by far not be sufficient to maintain flying at the level we know today (2019). It is therefore paramount to reduce flying as it happened already during the Corona pandemic. If we do not gently start changing the aviation industry now, laws of physics will tell us, with the consequence that our children will later struggle harder to make the necessary transformation.