Jun Yang

claudeyj

·

https://junyangchicago.github.io/

AI & ML interests

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

Recent Activity

upvoted a paper 5 days ago

CaPtain: A Pipeline for Post-Training Code-as-Policy Robot Agents

liked a model 11 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

claudeyj 's datasets

None public yet