BalinKing
- Karma
- 834
- Created
- 9 years ago
About
Third-year Ph.D. student at CMU, working on programming languages and formal verification; CS undergrad at Caltech (BS '23, Venerable); ex-professional software developer.https://github.com/jgrosso
Recent Submissions
- 1. ▲ ImpossibleBench: Measuring LLMs' Propensity of Exploiting Test Cases (arxiv.org)