Tag: Formal mathematics

AI Daily – 2025-05-31(Evening)

AI optimization Code generation CUDA kernels DeepMind mathematical conjecture library Formal mathematics Huawei S-GRPO method Large model inference RISEBench image editing evaluation Stanford AI-generated CUDA kernels Tongyi Lingma AI IDE