cs.MS

Papers

• bsnsing: A decision tree induction method based on recursive optimal boolean rule composition (2022)
  Yanchao Liu
  —
• Spectral Toolkit of Algorithms for Graphs: Technical Report (2) (2024)
  Peter Macgregor et al.
  —
• TorchLean: Formalizing Neural Networks in Lean (2026)
  Robert Joseph George et al.
  —
• Self-Scaled Broyden Family of Quasi-Newton Methods in JAX (2026)
  Ivan Bioli et al.
  —
• libhmm: A Modern C++20 Library for Hidden Markov Models with Correct MLE Emission M-Steps (2026)
  Gary Wolfman
  —