Wirkung

Wirkung is a symbolic regression engine. It searches for exact formulas, identities and proofs, and keeps a result only after an independent checker confirms it.

Scarcity as method. The work so far includes new tensor rank bounds, blow-up rates in a model of vortex stretching, and language models that run without a GPU, all on ordinary CPUs.