{"id":4761,"date":"2025-02-26T02:38:07","date_gmt":"2025-02-25T18:38:07","guid":{"rendered":"https:\/\/infernews.com\/?p=4761"},"modified":"2025-02-26T03:10:29","modified_gmt":"2025-02-25T19:10:29","slug":"bfs-prover-%e8%87%aa%e5%8b%95%e5%ae%9a%e7%90%86%e8%ad%89%e6%98%8e","status":"publish","type":"post","link":"https:\/\/infernews.com\/blog\/bfs-prover-%e8%87%aa%e5%8b%95%e5%ae%9a%e7%90%86%e8%ad%89%e6%98%8e\/","title":{"rendered":"BFS-Prover \u81ea\u52d5\u5b9a\u7406\u8b49\u660e"},"content":{"rendered":"\n<p>\u6700\u4f73\u512a\u5148\u641c\u5c0b (<strong>BFS<\/strong> Best-First Tree Search) \u662f\u4e00\u7a2e\u6a39\u72c0\u641c\u5c0b\u6f14\u7b97\u6cd5\uff0c\u5b83\u900f\u904e\u512a\u5148\u5f9e\u6a5f\u7387\u6700\u9ad8\u7684\u7bc0\u9ede\u4f86\u904b\u4f5c\uff0c\u5c6c\u65bc\u7c21\u55ae\u548c\u6548\u7387\u6f14\u7b97\u6cd5\uff0c\u4f46\u666e\u904d\u8a8d\u70ba\u5c0d\u65bc\u8b49\u660e\u5b9a\u7406\u4e26\u4e0d\u662f\u6700\u7406\u60f3\u7684\u65b9\u6cd5\u3002 <a href=\"https:\/\/huggingface.co\/bytedance-research\/BFS-Prover\" target=\"_blank\" rel=\"noreferrer noopener\">BFS-Prover<\/a> \u6311\u6230\u4e86\u50b3\u7d71\u89c0\u9ede\uff0c<br>\u63d0\u51fa\u4e00\u7a2e\u53ef\u64f4\u5c55\u7684\u5c08\u5bb6\u758a\u4ee3\u6846\u67b6\uff0c\u4e3b\u8981\u5305\u542b\u4e86\u4e09\u500b\u5275\u65b0\u9ede\uff1a\u4e00\u662f\u7b56\u7565\u6027\u6578\u64da\u904e\u6ffe\uff0c\u4e8c\u662f\u5229\u7528\u7de8\u8b6f\u56de\u994b\u9032\u884c\u76f4\u63a5\u504f\u597d\u512a\u5316 (DPO) Direct Preference Optimization\uff0c\u4e09\u662f\u9577\u5ea6\u6b63\u898f\u5316\u3002<\/p>\n\n\n\n<figure class=\"wp-block-audio\"><audio controls src=\"\/blog\/wp-content\/uploads\/2025\/02\/1740508563814124468-241482622005457.mp3\"><\/audio><\/figure>\n\n\n\n<figure class=\"wp-block-image size-full\"><img data-dominant-color=\"f0f1f1\" data-has-transparency=\"false\" style=\"--dominant-color: #f0f1f1;\" loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"719\" src=\"\/blog\/wp-content\/uploads\/2025\/02\/bfs.jpg\" alt=\"\" class=\"wp-image-4762 not-transparent\" srcset=\"https:\/\/infernews.com\/blog\/wp-content\/uploads\/2025\/02\/bfs.jpg 1024w, https:\/\/infernews.com\/blog\/wp-content\/uploads\/2025\/02\/bfs-300x211.jpg 300w, https:\/\/infernews.com\/blog\/wp-content\/uploads\/2025\/02\/bfs-768x539.jpg 768w, https:\/\/infernews.com\/blog\/wp-content\/uploads\/2025\/02\/bfs-640x449.jpg 640w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p><\/p>\n\n\n\n<p><\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u6700\u4f73\u512a\u5148\u641c\u5c0b (BFS Best-First Tree Search) \u662f\u4e00\u7a2e\u6a39\u72c0\u641c\u5c0b\u6f14\u7b97\u6cd5\uff0c\u5b83\u900f\u904e\u512a\u5148\u5f9e\u6a5f\u7387\u6700\u9ad8\u7684\u7bc0\u9ede\u4f86\u904b\u4f5c\uff0c\u5c6c\u65bc\u7c21\u55ae\u548c\u6548\u7387\u6f14\u7b97\u6cd5\uff0c\u4f46\u666e\u904d\u8a8d\u70ba\u5c0d\u65bc\u8b49\u660e\u5b9a\u7406\u4e26\u4e0d\u662f\u6700\u7406\u60f3\u7684\u65b9\u6cd5\u3002 BFS-Prover \u6311\u6230\u4e86\u50b3\u7d71\u89c0\u9ede\uff0c\u63d0\u51fa\u4e00\u7a2e\u53ef\u64f4\u5c55\u7684\u5c08\u5bb6\u758a\u4ee3\u6846\u67b6\uff0c\u4e3b\u8981\u5305\u542b\u4e86\u4e09\u500b\u5275\u65b0\u9ede\uff1a\u4e00\u662f\u7b56\u7565\u6027\u6578\u64da\u904e\u6ffe\uff0c\u4e8c\u662f\u5229\u7528\u7de8\u8b6f\u56de\u994b\u9032\u884c\u76f4\u63a5\u504f\u597d\u512a\u5316 (DPO) Direct Preference Optimization\uff0c\u4e09\u662f\u9577\u5ea6\u6b63\u898f\u5316\u3002<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"googlesitekit_rrm_CAowvqSiDA:productID":"","footnotes":""},"categories":[138,76,133],"tags":[],"class_list":["post-4761","post","type-post","status-publish","format-standard","hentry","category-138","category-76","category-133"],"_links":{"self":[{"href":"https:\/\/infernews.com\/blog\/wp-json\/wp\/v2\/posts\/4761","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/infernews.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/infernews.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/infernews.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/infernews.com\/blog\/wp-json\/wp\/v2\/comments?post=4761"}],"version-history":[{"count":0,"href":"https:\/\/infernews.com\/blog\/wp-json\/wp\/v2\/posts\/4761\/revisions"}],"wp:attachment":[{"href":"https:\/\/infernews.com\/blog\/wp-json\/wp\/v2\/media?parent=4761"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/infernews.com\/blog\/wp-json\/wp\/v2\/categories?post=4761"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/infernews.com\/blog\/wp-json\/wp\/v2\/tags?post=4761"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}