1
Ask HN: Open-Source Intelligence
探讨蒙特卡洛树搜索在开源AI编码工具中提升代码生成准确性的可能性，问题导向的讨论帖
Do you consider that Monte Carlo Tree Search implementation in an opensource environment (like codex, claude code) for AI can improve the code generat…
2
Automating Formal Verification with Agent-Guided Tree Search
用智能体引导树搜索，让大模型自动生成形式化验证代码，降低软件验证门槛
arXiv:2605.27485v1 Announce Type: cross Abstract: Formal verification offers a path to provably correct software, but writing verified code remains ex…
3
Memory-Guided Tree Search with Cross-Branch Knowledge Transfer for LLM Solver Synthesis
大模型结合记忆引导树搜索与跨分支知识迁移，自动合成组合优化求解器，突破传统方法瓶颈。
arXiv:2605.17539v2 Announce Type: replace Abstract: Combinatorial optimization (CO) underlies decision-making from logistics to chip design, where inf…
4
Optimized Three-Dimensional Photovoltaic Structures with LLM guided Tree Search
结合LLM与树搜索自动生成高效3D光伏结构，突破平面效率极限的AI科研案例。
arXiv:2605.16191v1 Announce Type: new Abstract: We present a case study for how AI coding systems can be used to generate novel scientific hypotheses.…