Hugging Face's logo
Jun Yang's picture

Jun Yang

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

AI & ML interests

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

Recent Activity

new activity 9 days ago
flashinfer-ai/flashinfer-trace:adding the missing reference field of definitions/sampling/top_k_top_p_sampling_from_probs_v248320.json
published a dataset 8 months ago
UChiSeclab/perfforge
upvoted a paper 8 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
MiniMax H3 Video Generator 20 free credits · Text & image to video Try Free →