proomt

Search

Search posts, papers, and topics

All posts

Hugging Face Daily PapersHejia Geng, Zesen Huang, Haoyang Li2 min readpaperadvanced

ScienceIDE: Turning World's Scientific Codebase into Agent Learnable Environments

Summary

ScienceIDE is a framework that turns existing scientific software repositories into programmable environments that agents can use for task generation, execution, and verification. Training on these environments yields LLMs (PhAI‑IDE series) that outperform baselines on scientific code repair and several general code‑reasoning benchmarks.

  • Agents ingest a repository, apply expert‑defined scientific cases and acceptance criteria, and output a self‑contained executable environment.
  • The generated environments expose a unified API for task sampling, execution, and automated scientific verification, enabling supervised fine‑tuning and RL.
  • Training PhAI‑IDE‑72B/9B/4B on verified interaction trajectories improves held‑out scientific‑code repair by up to X% (paper reports gains) and boosts performance on standard code benchmarks.
  • ScienceIDE’s verification pipeline reduces noisy supervision, making large‑scale scientific code data usable for LLM training.

AI researchers and engineering teams building code‑focused LLMs should care because ScienceIDE offers a scalable way to turn the vast corpus of scientific software into high‑quality training data and evaluation environments.

7/10

Related reading

  1. ScienceBuddy: Recursive-in-Recursive Self-Improvement for Interactive Scientific Agents

    ScienceBuddy is an interactive workspace that converts researcher prompts, feedback, and execution traces into continual‑learning tasks for AI agents. It introduces a "recursive‑in‑recursive" self‑improvement loop that alternates harness refinement and model training, and showcases case studies across four scientific task families.

    Hugging Face Daily Papersarxiv.org1 minpaperHN2
  2. CodeMidas: Scaling Agentic Coding RL Environments from Code Itself

    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…

    Hugging Face Daily Papersarxiv.org1 minpaper
  3. 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
  4. 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
  5. 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