Peter Schneider-Kamp

1. The Moltbook Files: A Harmless Slopocalypse or Humanity's Last Experiment
   2026/05/08 by William Brach, Federico Torrielli, Stine Lyngsø Beltoft +3 · 1 voice
   #cs.CL #cs.AI
2. BitNet b1.58 Reloaded: State-of-the-art Performance Also on Smaller Networks
   2024/06/24 by Jacob Woge Nielsen, Peter Schneider-Kamp, Nielsen, Jacob +1 · 2 citations
   Computer Science · Neuroscience · #Artificial Intelligence (cs.AI) #Brain Tumor Detection and Classification #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #IoT and Edge/Fog Computing #Machine Learning (cs.LG)
3. Automated termination proofs for haskell by term rewriting
   2011/01/01 by Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp +3 · 1 citation
   Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
4. Continual Quantization-Aware Pre-Training: When to transition from 16-bit to 1.58-bit pre-training for BitNet language models?
   2025/02/17 by Jacob Woge Nielsen, Nielsen, Jacob, Peter Schneider-Kamp +3 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification #Neural Networks and Applications #Speech Recognition and Synthesis