Pranjal
@pranjal2041.bsky.social
PhD Student @ltiatcmu.bsky.social. Working on reasoning, code-gen agents and test-time compute.
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
🧵