cs.MS

Papers

• Phase Vocoder Done Right (2022)
  Zdenek Prusa and Nicki Holighaus
  —
• j-Wave: An open-source differentiable wave simulator (2022)
  Antonio Stanziola et al.
  —
• TorchLean: Formalizing Neural Networks in Lean (2026)
  Robert Joseph George et al.
  —
• libhmm: A Modern C++20 Library for Hidden Markov Models with Correct MLE Emission M-Steps (2026)
  Gary Wolfman
  —