The N Implementation Details of RLHF with PPO

Putting RL back in RLHF

Keep the Tokens Flowing: Lessons from 16 Open-Source RL Libraries

Introduction to ggml

Mini-R1: Reproduce Deepseek R1 „aha moment“ a RL tutorial

The Open Source Community is backing OpenEnv for Agentic RL

An Agentic Workflow for Legacy HPC Modernization: Converting the Two-Electron-Integral Core of GAMESS

arXiv:2608. 12249v1 Announce Type: new Abstract: Modernizing legacy Fortran is a problem of volume: the transformations are individually routine, but the codebases can be enormous, and across much of computational science the work simply goes undone.

Gotta Learn Fast: A new benchmark for generalization in RL

🤗 PEFT welcomes new merging methods

Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement

arXiv:2606. 06468v1 Announce Type: new Abstract: We introduce Goedel-Architect, an agentic framework for formal theorem proving in Lean 4 centered on blueprint generation and refinement.

World Feedback for Clinical Agents: Diagnosing RL in FHIR Environments

arXiv:2607. 01470v1 Announce Type: new Abstract: Clinical protocol-execution tasks -- checking a lab value, applying a threshold, placing a correctly structured FHIR order -- are natural candidates for RL from world feedback: once clinical SMEs encode decision logic into a verifier, that verifier grades unlimited rollouts without per-episode annotation.

Unlocking Agentic RL Training for GPT-OSS: A Practical Retrospective

Understanding and Implementing Qwen3 From Scratch

A Detailed Look at One of the Leading Open-Source LLMs