1
Show HN: Formally Verified FPSan
用Lean定理证明器对Triton的FPSan进行形式化验证，确保浮点数运算的数学正确性
Article URL: https://github.com/bollu/fpsan-verification Comments URL: https://news.ycombinator.com/item?id=48677601 Points: 2 # Comments: 0
2
DRTriton: Large-Scale Synthetic Data Driven Reinforcement Learning for Triton Kernel Generation
用大规模合成数据和强化学习自动生成高性能Triton内核，突破GPU计算优化瓶颈。
arXiv:2603.21465v2 Announce Type: replace-cross Abstract: Developing efficient CUDA kernels is a fundamental yet challenging task in the generative AI…