在评估强化学习或代码生成模型时，pass@1 和 pass@k 这两个指标之间存在怎样的关系？

回答思路

1. 准确解释 pass@1 和 pass@k 的统计定义
2. 指出 pass@k 在 k 增大时单调不减且通常高于 pass@1
3. 解释两者在评估效率、随机性控制和实际部署中的差异与权衡
4. 能结合具体场景说明何时更关注 pass@1 或 pass@k