Research / Writing / Projects

Research

AutoBaxBuilder: Bootstrapping Code Security Benchmarking Tobias von Arx, Niels Mündler, Mark Vero, Maximilian Baader, Martin Vechev ICML 2026

Agentic generation of web-backend security benchmark tasks with functional tests, contrastive exploits, and an executable benchmark release.

Memorization Dynamics of Fill-in-the-Middle Pretraining Tobias von Arx*, Tanguy Dieudonné* (*equal contribution) MemFM @ ICML 2026

Controlled 100B+ token pretraining experiments, studying FIM vs. left-to-right memorization through probabilistic extraction and attention patterns.

Writing and notes

Projects

Crosscheck wordmark
crosscheck 2026, Juno Hackathon

Crosscheck tests whether health AI gives consistent advice when the same symptoms are described differently, and which facts change that advice.

GitHub Demo video (1:59)

Canvas logo
Canvas 2026

A local-first infinite canvas for notes, todos, RSS feeds, timers, weather, and optional AI chat. It runs in the browser and stores everything locally in IndexedDB.

GitHub

Fractal tree drawn by an HTML5-JS experiment
HTML5-JS 2017–2020, HTML5 and JavaScript

A collection of small browser experiments: fractals, games, graphics, an audio sampler, and a neuroevolution racing simulation.

Live demos GitHub