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
가입 April 2015
101 팔로잉 중 827 팬
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
더 보기
