Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
claudeyj (Jun Yang)
[go: Go Back, main page]
Hugging Face's logo
Jun Yang's picture
4

Jun Yang

claudeyj
ยท
https://junyangchicago.github.io/

AI & ML interests

LLM4Code, LLM4SE, program analysis, test generation, proof generation, software verification

Organizations

University of Chicago's profile picture University of Chicago Lab of Prof. Kexin Pei's profile picture