牛哥精选 · 所有

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

🤖 AI·大模型 arXiv AI 2026-06-16

Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs

基于LLM自动整理数学证明数据的管道，提升推理任务的数据质量与效率。

arXiv:2606.15258v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly capable of mathematical problem solving and can even ass…

llm 数学证明数据整理自动化推理

📝 深度技术 arXiv AI 2026-06-12

Structured Testbench Generation for LLM-Driven HDL Design and Verification-Oriented Data Curation

LLM驱动的硬件设计新方法，通过结构化测试平台生成优化验证数据集，提升HDL设计效率。

arXiv:2606.12983v1 Announce Type: new Abstract: Automated testbench generation has become a critical bottleneck in large language model (LLM)-driven R…

llm hdl设计测试平台生成验证数据整理硬件描述语言

📝 深度技术 Hacker News LLM 2026-05-20

Customizing an LLM for Enterprise Software Engineering

Google内部定制LLM实战：万亿token数据集+中训策略，专攻企业软件工程场景。

Article URL: https://arxiv.org/abs/2605.16517 Comments URL: https://news.ycombinator.com/item?id=48202484 Points: 1 # Comments: 0

gemini llm定制软件工程 google内部万亿token数据集

📅 日期

2026-05-20 2026-05-19

🐂 牛哥精选

Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs

Structured Testbench Generation for LLM-Driven HDL Design and Verification-Oriented Data Curation

Customizing an LLM for Enterprise Software Engineering

📅 日期