AI and infrastructure news

Demo5

Training and fine-tuning Demo
10/08/2617 days ago huggingface.co
QED-Nano: what a 4B model can teach us about mathematical proofs
A post published on February 15, 2026 presents QED-Nano, a project to train a 4-billion-parameter model to prove olympiad problems, with material on training, datasets, and implementation.
Reinforcement learning Demo
10/07/2618 days ago huggingface.co
Explore reinforcement environments and run rollouts
An interactive Space published on September 29, 2026 lets engineers inspect reinforcement-learning environments and run rollouts. Its approach can inform internal evaluation and testing tools.
Speech: TTS and ASR Demo
10/07/2618 days ago hf.co
Transcribing one speaker in overlapping speech
A public Space dated September 15, 2026 demonstrates speaker-conditioned transcription: a short audio sample helps isolate the target voice when people speak simultaneously.
Reinforcement learning Demo
10/07/2618 days ago huggingface.co
Training models across four agent harnesses with a proxy
A post published on October 2, 2026 describes RL training across four agent harnesses, recording token IDs and sampled logprobs, and reports score improvements.
Speech: TTS and ASR Demo
10/07/2618 days ago huggingface.co
Real-time voice: open-source demo with WebSocket and WebRTC
Published on July 2, 2026, an open-source demonstration combines models and code for real-time voice, with support for WebSocket and WebRTC.