Note from Dec 2022: The code here work beautifully and I plan to continue making minor bug fixes maintaining the current functionality. But I no longer will be making any improvements to this project.

A Python high-frequency intraday trading engine for simulating the rolling intrinsic strategy on the European market, solved as a dynamic program. See our paper (tbd, Schaurecker & Wozabal et al.

GPT-5.6 Sol Pro disproved a 20-year-old statistics conjecture in 90 minutes that GPT-5.5 couldn't crack in over 20 hours — a ...

I’ve received one of AMD’s first official AI developer boxes for testing, and it’s an impressive piece of AI hardware with a ...

We introduce the heat method for solving the single- or multiple-source shortest path problem on both flat and curved domains. A key insight is that distance computation can be split into two stages: ...

Abstract: Theorem proving demonstrates promising potential for verifying problems beyond the capabilities of SMT-solver-based verification tools. We explore and ...

To compare photometric properties of galaxies at different redshifts, the fluxes need to be corrected for the changes of effective rest-frame wavelengths of ...

Single-cell RNA-seq AI analysis has become the default way to make sense of the millions of expression measurements a single experiment can now generate. Turning raw sequencing counts into ...

Claude cannot think; it can only imitate. You must treat it like a fancy autocomplete and not like a programmer.

A framework for analyzing single-cell genomics data, in which geometrical properties are harnessed to obtain insights on cellular diversity, including precise clustering, clear visualizations, and ...