牛哥精选 · 半年

📋 全部 🤖 AI·大模型 ⚡ 效率工具 📝 深度技术 🚀 产品观察 💰 商业科技 🔓 开源项目 🎨 设计创意 📖 阅读推荐 🏷 资源合集 🌱 成长效率

📝 深度技术 Hacker News LLM 2026-06-09

AutoMegaKernel: Compile an LLM into one provably-correct CUDA megakernel

将LLM编译成可验证正确性的CUDA megakernel，大幅提升推理性能与可靠性。

Article URL: https://github.com/RightNow-AI/AutoMegaKernel Comments URL: https://news.ycombinator.com/item?id=48447329 Points: 2 # Comments: 0

automegake llm编译 cuda megak 正确性验证开源项目

📝 深度技术 arXiv AI 2026-05-29

Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification

Opt-Verifier通过双端验证机制，提升大语言模型构建数学优化模型的正确性，解决自动化建模中的关键难题。

arXiv:2605.29556v1 Announce Type: new Abstract: Building mathematical optimization models is critical in operations research (OR), while it requires s…

llm 优化建模双端验证运筹学自动化建模

📅 日期

2026-05-20 2026-05-19

🐂 牛哥精选

AutoMegaKernel: Compile an LLM into one provably-correct CUDA megakernel

Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification

📅 日期