proomt

Search

Search posts, papers, and topics

All posts

Hugging Face Daily PapersBowen Ye, Lei Li, Shicheng Li1 min readpaperadvanced

CodeMidas: Scaling Agentic Coding RL Environments from Code Itself

Summary

CodeMidas builds RL environments directly from open‑source code: agents explore a repo, infer a spec, generate tests from the original implementation, and filter tasks via execution checks. The pipeline yields 5,545 high‑quality coding tasks across 23 languages and 15 domains. Training the MiMo‑V2.5 agent with GRPO on this dataset improves benchmark scores by 8‑18% (e.g., DeepSWE +11.7%, ProgramB…

  • Source code alone can be turned into a scalable RL training suite without relying on issue trackers or commit histories.
  • The pipeline automates three stages: (1) spec inference via agentic exploration, (2) test generation grounded in the original code’s execution, (3) task validation through repeated roll‑outs.
  • Resulting dataset: 5,545 tasks, 3,185 repos, 23 languages, 15 technical domains.
  • Training MiMo‑V2.5 with GRPO on CodeMidas tasks yields consistent gains on five diverse coding benchmarks (8.5‑17% absolute improvement).

RL‑based coding agents have been bottlenecked by limited, hand‑crafted task suites that often depend on noisy development artifacts. CodeMidas demonstrates a reproducible, language‑agnostic way to harvest thousands of verifiable tasks directly from the code, unlocking larger‑scale training that tra…

7/10

Related reading

  1. Grounded Skill Synthesis from Code at Scale for Agentic Intelligence

    Code2Skill is an automated pipeline that mines popular GitHub repositories to extract verifiable, implementation‑anchored procedural “skills”. It builds a bank of ~1 M skill records (atomic ops, workflows, patterns) with provenance metadata, verifies each via blind reconstruction, and shows that augmenting LLM‑based agents with these skills yields an average 11.7% performance lift across 72 proto…

    Hugging Face Daily Papersarxiv.org1 minpaper
  2. Towards Self-Driving Codebases

    The post argues that AI agents could eventually handle low‑level engineering tasks—bug fixing, debugging, UI consistency, growth experiments—if the dev toolchain is made “agent‑legible”. It outlines missing primitives (global memory, code‑base rot prevention, better dev environments) and proposes a bootstrapping process to measure and improve a repo’s “agent readiness”. The piece is largely specu…

    Hacker News front pagedetail.dev9 minHN12099
  3. Changing the game: How Google uses agentic AI to secure hundreds of millions of lines of code

    Google’s AI & Infrastructure team built an agentic pipeline (Mantis) that runs pre‑submit AI‑driven scans on every code check‑in, validates findings with a fast triage agent (AST + call‑graph analysis) achieving >92% precision in <1 min, then auto‑generates fixes via a bug‑fix agent. Localized threat models and a two‑step scan cut false‑positives to ~3% and prevent hundreds of vulnerabilities eac…

    Google Cloud Bloggoogle.com4 min
  4. The DevFest Community Workshop Experience: Building Real Agents Together

    Google’s DevFest Community Workshop introduced a “Workbench” format that emphasizes architectural mental models over copy‑paste code, guiding engineers to build long‑running, self‑evolving multi‑agent systems with the Agent Development Kit and Gemini Enterprise platforms. Attendees learned state‑separation, workflow pausing, and self‑patching pipelines, and the series will continue in five more c…

    Google Cloud Bloggoogle.com2 min