Our Problems · Proximal
proximal.ai · 1,361 words · saved by 2 readers
Proximal is a research lab for coding data. We build the data engine behind the next generation of autonomous coding agents.
We believe that training data is solved through creative engineering and research ideas. Here are some of the concrete technical problems we are working on right now: Index All Code on the Internet Useful coding data is spread across many public sources - GitHub alone has hundreds of millions of public repositories and more than 100M pull requests merged every year. Beyond this, GitLab, Bitbucket, public developer tool documentation, Stack Overflow, and other sources are extremely useful as seed data for data pipelines. Ideally, we would like to be able to run queries like this over this data:
saved by
related reading
- Announcing Proximal · Proximalproximal.ai
- Keep the Tokens Flowing: Lessons from 16 Open-Source RL Librarieshuggingface.co
- Automated Weak-to-Strong Researcheralignment.anthropic.com
- GRPO++: Tricks for Making RL Actually Workcameronrwolfe.substack.com
- Debugging Reinforcement Learning Systemsandyljones.com
- Towards self-driving codebases · Cursorcursor.com
- Our problemscursor.com
- More problemscursor.com
- A Pragmatic Vision for Interpretability — AI Alignment Forumalignmentforum.org
- FrontierSmith: Synthesizing Open-Ended Coding Problems at Scale | alphaXivalphaxiv.org
- Learning Beyond Gradientstrinkle23897.github.io
- Why We Built Our Own Background Agentbuilders.ramp.com