Pranjal
@pranjal2041.bsky.social
📤 36
📥 49
📝 16
PhD Student
@ltiatcmu.bsky.social
. Working on reasoning, code-gen agents and test-time compute.
pinned post!
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
🧵
9 months ago
1
8
5
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
🧵
9 months ago
1
8
5
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
🧵
loading . . .
11 months ago
2
4
2
you reached the end!!
feeds!
log in