Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools
On the stability of the low-rank projector-splitting integrator for hyperbolic and parabolic equations
arxiv.org·1d
On exploration of an interior mirror descent flow for stochastic nonconvex constrained problem
arxiv.org·1d
Loading...Loading more...