Awesome System Papers Wiki
Search
搜索
暗色模式
亮色模式
探索
标签: evolutionary-search
此标签下有3条笔记。
2026年6月20日
AlphaProofNexus-arXiv26
formal-proof
theorem-proving
lean
llm-agent
auto-research
evolutionary-search
2026年6月20日
BES-arXiv26
auto-research
llm-agent
evolutionary-search
self-improvement
test-time-scaling
post-training
2026年6月20日
FunSearch-Nature24
auto-research
evolutionary-search
program-synthesis
scientific-discovery
combinatorics
llm