ProgramSearch
1.0.0
https://papers.nips.cc/paper/9116-write-execute-assess-program-synthetic-with-a-repl
เรานำเสนอวิธีการสังเคราะห์โปรแกรมประสาทที่รวมส่วนประกอบต่างๆ ซึ่งเขียน ดำเนินการ และประเมินโค้ดเพื่อนำทางในพื้นที่การค้นหาของโปรแกรมที่เป็นไปได้ เราจัดเตรียมกระบวนการค้นหาด้วยล่ามหรือ read-eval-print-loop (REPL) ซึ่งจะรันโปรแกรมที่เขียนบางส่วนทันทีโดยเปิดเผยความหมาย REPL จัดการกับความท้าทายพื้นฐานของการสังเคราะห์โปรแกรม: การเปลี่ยนแปลงเล็กๆ น้อยๆ ในรูปแบบไวยากรณ์สามารถนำไปสู่การเปลี่ยนแปลงครั้งใหญ่ในความหมาย เราฝึกอบรมโมเดล 2 โมเดล นโยบายที่เสนอโค้ดชิ้นใหม่ที่จะเขียน และฟังก์ชันค่าที่ประเมินโอกาสของโค้ดที่เขียนจนถึงตอนนี้ ณ เวลาทดสอบ เราสามารถรวมโมเดลเหล่านี้เข้ากับอัลกอริธึม Sequential Monte Carlo ได้ เราใช้แนวทางของเรากับสองโดเมน: การสังเคราะห์โปรแกรมแก้ไขข้อความและการอนุมานโปรแกรมกราฟิก 2D และ 3D
