Hugging Face's logo
Jun Yang's picture

Jun Yang

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

AI & ML interests

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

Recent Activity

liked a model about 4 hours ago
YuechunSun/TopoVerus-32B
upvoted a paper about 1 month ago
Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency
new activity 3 months ago
flashinfer-ai/flashinfer-trace:adding the missing reference field of definitions/sampling/top_k_top_p_sampling_from_probs_v248320.json
View all activity

Organizations

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