Hugging Face's logo
Jun Yang's picture

Jun Yang

claudeyj
1 5 1
·
https://junyangchicago.github.io/

AI & ML interests

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

Recent Activity

upvoted a paper 7 days ago
CaPtain: A Pipeline for Post-Training Code-as-Policy Robot Agents
liked a model 14 days ago
YuechunSun/TopoVerus-32B
upvoted a paper about 2 months ago
Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency
View all activity

Organizations

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