( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
CWY Parametrization for Scalable Learning of Orthogonal and Stiefel Matrices.

, , , и . CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jared Sonnicksen

Jared Wicks

Matthew Davis

Jared Miller

Jared Dulmage

 

Другие публикации лиц с тем же именем

Reasoning about ACL2 file input.. ACL2, стр. 117-126. ACM, (2006)CWY Parametrization: a Solution for Parallelized Optimization of Orthogonal and Stiefel Matrices., , , и . AISTATS, том 130 из Proceedings of Machine Learning Research, стр. 55-63. PMLR, (2021)Sub-Linear Memory: How to Make Performers SLiM., , , , и . CoRR, (2020)The SSP: An Example of High-Assurance Systems Engineering., , , , и . HASE, стр. 167-177. IEEE Computer Society, (2004)Who's your Tiger? Using simulation to optimize the lineup of the Detroit Tigers offense., , , , и . WSC, стр. 2835-2843. WSC, (2008)Decentralized Training of Foundation Models in Heterogeneous Environments., , , , , , , , и . NeurIPS, (2022)A Verified Runtime for a Verified Theorem Prover., и . ITP, том 6898 из Lecture Notes in Computer Science, стр. 265-280. Springer, (2011)CWY Parametrization for Scalable Learning of Orthogonal and Stiefel Matrices., , , и . CoRR, (2020)Microcode Verification - Another Piece of the Microprocessor Verification Puzzle., , и . ITP, том 8558 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2014)A flexible formal verification framework for industrial scale validation., , , и . MEMOCODE, стр. 89-97. IEEE, (2011)