Jun Yang
claudeyj
ยท
AI & ML interests
LLM4Code, LLM4SE, program analysis, test generation, proof generation, software verification
Recent Activity
published
a dataset
18 days ago
UChiSeclab/perfforge
upvoted
a
paper
19 days ago
Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency
authored
a paper
19 days ago
Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency
Organizations
