SPAR: Streaming Prior-Anchored Ridge — reference implementation, result artifacts, and Lean 4 formalization

Singh, Mrigank Shekhar

DOI: 10.5281/zenodo.23768173

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.