Shiven Sinha
@shiven_sinha
Interested in algorithms - both those that solve and those that learn.
reasoning about reasoning @ELLISInst_Tue @MPI_IS, undergrad @iiit_hyderabad
101 Following 827 Followers
LLMs are winning IOI golds & crushing code gen—but can they verify correctness?
In Feb, our benchmark saw single digit scores with o3-mini. We re-ran our evals with the latest open models: GPT-OSS gets 21.6% at demonstrating bugs in code! Progress✅But verification's still hard
Show more
