Jun Yang

claudeyj

·

https://junyangchicago.github.io/

AI & ML interests

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

Recent Activity

liked a model 3 days 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

claudeyj 's datasets

None public yet