Author

Christian Clason

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Review Nov 2026

Formalizing inverse problems in the age of AI: possibilities, pitfalls, and an invitation

AutoIP is described, a Lean library in which classical linear regularization theory, together with the functional analysis it rests on, has been autoformalized by AI agents, and a reviewer compares the formal statements with their natural-language counterparts and never needs to read a proof.

Christian Clason, Tapio Helin, M. Nursultanov et al. · 0 citations

Preprint Sep 2026

Orlicz space relaxation of total variation denoising

We consider variational image denoising with spatially dependent Orlicz regularization and introduce an Orlicz--Sobolev approximation of the ROF model based on a scaled $L\log L$-type density. For a general class of uniformly superlinear integrands satisfying a $\Delta_2$-condition, we establish existence and uniquenes...

Christian Clason, Tobias Unterberger · 0 citations