iiinova — where your digital self keeps evolving

Pranjal

@pranjal2041.bsky.social

PhD Student @ltiatcmu.bsky.social. Working on reasoning, code-gen agents and test-time compute.

Pranjal @pranjal2041.bsky.social · 26/02/2025

What if AI agents did software engineering like humans—seeing the screen & using any developer tool? Introducing Programming with Pixels: an SWE environment where agents control VSCode via screen perception, typing & clicking to tackle diverse tasks. programmingwithpixels.com 🧵

184

Pranjal @pranjal2041.bsky.social · 10/12/2024

LLMs often generate incorrect code. Instead, what if they can prove code correctness? Presenting AlphaVerus: A self-reinforcing method that automatically learns to generate correct code using inference-time search and verifier feedback. 🌐 : alphaverus.github.io 🧵

241