Pranjal
@pranjal2041.bsky.social
PhD Student @ltiatcmu.bsky.social. Working on reasoning, code-gen agents and test-time compute.
Pinned
Pranjal
@pranjal2041.bsky.social
· Feb 26
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
🧵
Introducing Programming with Pixels: an SWE environment where agents control VSCode via screen perception, typing & clicking to tackle diverse tasks.
programmingwithpixels.com
🧵
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
🧵
Introducing Programming with Pixels: an SWE environment where agents control VSCode via screen perception, typing & clicking to tackle diverse tasks.
programmingwithpixels.com
🧵
February 26, 2025 at 5:17 PM
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
🧵
Introducing Programming with Pixels: an SWE environment where agents control VSCode via screen perception, typing & clicking to tackle diverse tasks.
programmingwithpixels.com
🧵
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
🧵
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
🧵
December 10, 2024 at 10:33 PM
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
🧵
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
🧵