#MCTS

共 10 条 · 7 天 1 条 · 30 天 3 条

AlphaZero 2 推理模型 2 Approximate Value Iteration 1 AutoSR 1 Belief-Guided 1 cp3-bench 1 CUDA 1 DeepSeek 1

信息流里打上「MCTS」标签的资讯、产品与论文，按刊登时间排，新的在上。

10月16日

论文 Agent 与开发者精选09:28

IneqAgent：用符号计算与 MCTS 在 Lean4 中自动证明不等式

用 LLM 加符号计算在 Lean4 里自动证不等式，186 题解出 175 题，还顺手推进了两个猜想，数学形式化爱好者别错过。

#IneqAgent #Lean4 #DeepSeek #不等式证明

arXiv: DeepSeek@Gaolei He 等 5 人原文

9月28日

论文 Agent 与开发者10:10

PoLar 复现研究：把 Transformer 层当作可调用的函数库

有人在 5 个模型上复现了 PoLar 这篇论文，结论一半成立一半翻车，还发现纠错程序脆弱得离谱，做层路由研究的可以看看。

#PoLar #MCTS #推理模型 #开源模型

arXiv cs.AI@Justus Westerhoff 等 5 人原文

论文 Agent 与开发者精选73°07:15

Sakana AI 提出机器人轨迹生成方法 SAIL，将亮相 IROS 2026

Sakana AI 和东大搞了个给机器人“先在模拟器里彩排再上场”的方法 SAIL，成功率能从 25% 拉到 73%，做机器人方向的可以看看。

#Sakana AI #SAIL #VLM #MCTS

官方账号Sakana AI@SakanaAILabs原文

9月9日

论文 Agent 与开发者73°11:21

近似值迭代在自我博弈中的有效性研究

这篇论文发现近似值迭代(AVI)在多个棋类游戏中比 AlphaZero 更准确且成本更低，挑战了 MCTS 主导地位。

#Approximate Value Iteration #AlphaZero #MCTS #自我博弈

arXiv cs.AI@Raphael Boige 等 3 人原文

8月18日

论文10:37

AutoSR：通过搜索研究状态实现自动符号回归

AutoSR把符号回归从找公式变成做研究，9个挑战全部恢复，连3个cp3-bench难题都解决了。

#AutoSR #符号回归 #MCTS #cp3-bench

arXiv cs.LG@Kejia Zhang 等 5 人原文

8月7日

论文09:40

MicroEvo：知识引导的LLM采样用于微架构设计空间探索

MicroEvo用LLM引导芯片微架构设计搜索，比NSGA-II质量高36.2%，效率提升10倍多，代码已开源。

#MicroEvo #MCTS #LLM #芯片设计

arXiv cs.AI@Jia Xiong 等 14 人原文

7月30日

模型10:32

Belief-Guided架构：减少围棋AI对MCTS依赖的新方法

这篇论文提出一个新架构，让围棋AI不用大量搜索也能在普通电脑上达到专业水平，比AlphaZero更省资源。

#Belief-Guided #围棋AI #MCTS #推理模型

arXiv cs.AI@Mehrad Yaghoubi 等 4 人原文

论文 Agent 与开发者多源确认精选00:08

Kernel Forge: 用MCTS优化CUDA内核的开源Agent Harness

想又快又稳地优化CUDA内核？Kernel Forge用MCTS自动探索，比手动写靠谱多了，实测14个内核超基线。

#Kernel Forge #CUDA #代码优化 #论文

事件专题

elvis@omarsar011 个信源在谈原文

7月15日

论文11:02

动态资源分配改进Ensemble Determinization MCTS

这篇论文给做游戏AI的同行提供了一个很实用的优化思路：不用固定分配计算资源，而是根据搜索情况动态调整，实测对三个桌游都有明显提升。

#MCTS #蒙特卡洛树搜索 #游戏AI #动态资源分配

arXiv cs.AI@Jakub Kowalski 等 4 人原文

7月7日

论文11:19

Graph Sparse Sampling：打破连续MDP规划中的视界诅咒

这篇论文提出一种新算法GSS，通过共享未来样本来避免树搜索的指数爆炸，在长视界连续控制任务中表现更好。

#Graph Sparse Sampling #MCTS #连续MDP #在线规划

arXiv cs.AI@Idan Lev-Yehudi, Vadim Indelman原文