{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,24]],"date-time":"2026-08-24T22:42:09Z","timestamp":1787611329778,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,25]],"date-time":"2020-06-25T00:00:00Z","timestamp":1593043200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,25]]},"DOI":"10.1145\/3377930.3390213","type":"proceedings-article","created":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T19:29:12Z","timestamp":1593458952000},"page":"359-367","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Program synthesis as latent continuous optimization"],"prefix":"10.1145","author":[{"given":"Pawe\u0142","family":"Liskowski","sequence":"first","affiliation":[{"name":"NNAISENSE, Lugano, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krzysztof","family":"Krawiec","sequence":"additional","affiliation":[{"name":"Poznan University of Technology & CAMIL, Poznan, Poland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nihat Engin","family":"Toklu","sequence":"additional","affiliation":[{"name":"NNAISENSE, Lugano, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jerry","family":"Swan","sequence":"additional","affiliation":[{"name":"NNAISENSE, Lugano, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,6,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Jamie Ryan Kiros, and Geoffrey E Hinton","author":"Ba Jimmy Lei","year":"2016","unstructured":"Jimmy Lei Ba , Jamie Ryan Kiros, and Geoffrey E Hinton . 2016 . Layer normalization. arXiv preprint arXiv:1607.06450 (2016). Jimmy Lei Ba, Jamie Ryan Kiros, and Geoffrey E Hinton. 2016. Layer normalization. arXiv preprint arXiv:1607.06450 (2016)."},{"key":"e_1_3_2_1_2_1","volume-title":"DeepCoder: Learning to Write Programs. arXiv preprint arXiv:1611.01989 (November","author":"Balog Matej","year":"2016","unstructured":"Matej Balog , Alexander L. Gaunt , Marc Brockschmidt , Sebastian Nowozin , and Daniel Tarlow . 2016. DeepCoder: Learning to Write Programs. arXiv preprint arXiv:1611.01989 (November 2016 ). https:\/\/arxiv.org\/abs\/1611.01989 Matej Balog, Alexander L. Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow. 2016. DeepCoder: Learning to Write Programs. arXiv preprint arXiv:1611.01989 (November 2016). https:\/\/arxiv.org\/abs\/1611.01989"},{"key":"e_1_3_2_1_3_1","unstructured":"M. Bo\u0161njak T. Rockt\u00e4schel J. Naradowsky and S. Riedel. 2016. Programming with a Differentiable Forth Interpreter. ArXiv e-prints (May 2016). arXiv:1605.06640  M. Bo\u0161njak T. Rockt\u00e4schel J. Naradowsky and S. Riedel. 2016. Programming with a Differentiable Forth Interpreter. ArXiv e-prints (May 2016). arXiv:1605.06640"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/D14-1179"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196713500227"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-005-5724-z"},{"key":"e_1_3_2_1_7_1","unstructured":"J. Devlin J. Uesato S. Bhupatiraju R. Singh A.-r. Mohamed and P. Kohli. 2017. RobustFill: Neural Program Learning under Noisy I\/O. ArXiv e-prints (March 2017). arXiv:cs.AI\/1703.07469  J. Devlin J. Uesato S. Bhupatiraju R. Singh A.-r. Mohamed and P. Kohli. 2017. RobustFill: Neural Program Learning under Noisy I\/O. ArXiv e-prints (March 2017). arXiv:cs.AI\/1703.07469"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of COGNITIVA 87","author":"Gallinari P.","year":"1987","unstructured":"P. Gallinari , Yann Lecun , S. Thiria , and F. Fogelman Soulie . 1987. Memoires associatives distribuees: Une comparaison (Distributed associative memories: A comparison) . In Proceedings of COGNITIVA 87 , Paris, La Villette , May 1987 . Cesta-Afcet. P. Gallinari, Yann Lecun, S. Thiria, and F. Fogelman Soulie. 1987. Memoires associatives distribuees: Une comparaison (Distributed associative memories: A comparison). In Proceedings of COGNITIVA 87, Paris, La Villette, May 1987. Cesta-Afcet."},{"key":"e_1_3_2_1_9_1","volume-title":"Deep Learning","author":"Goodfellow Ian","unstructured":"Ian Goodfellow , Yoshua Bengio , and Aaron Courville . 2016. Deep Learning . The MIT Press . Ian Goodfellow, Yoshua Bengio, and Aaron Courville. 2016. Deep Learning. The MIT Press."},{"key":"e_1_3_2_1_10_1","unstructured":"A. Graves G. Wayne and I. Danihelka. 2014. Neural Turing Machines. ArXiv e-prints (Oct. 2014). arXiv:1410.5401  A. Graves G. Wayne and I. Danihelka. 2014. Neural Turing Machines. ArXiv e-prints (Oct. 2014). arXiv:1410.5401"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2240236.2240260"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICEC.1996.542381"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0029751"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1162\/EVCO_a_00133"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"e_1_3_2_1_16_1","volume-title":"Recent Advances in Neural Program Synthesis. ArXiv abs\/1802.02353","author":"Kant Neel","year":"2018","unstructured":"Neel Kant . 2018. Recent Advances in Neural Program Synthesis. ArXiv abs\/1802.02353 ( 2018 ). Neel Kant. 2018. Recent Advances in Neural Program Synthesis. ArXiv abs\/1802.02353 (2018)."},{"key":"e_1_3_2_1_17_1","volume-title":"Kingma and Jimmy Ba","author":"Diederik","year":"2014","unstructured":"Diederik P. Kingma and Jimmy Ba . 2014 . Adam : A Method for Stochastic Optimization . arXiv:cs.LG\/1412.6980 Diederik P. Kingma and Jimmy Ba. 2014. Adam: A Method for Stochastic Optimization. arXiv:cs.LG\/1412.6980"},{"key":"e_1_3_2_1_18_1","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"Koza John R.","year":"1992","unstructured":"John R. Koza . 1992 . Genetic Programming: On the Programming of Computers by Means of Natural Selection . MIT Press , Cambridge, MA, USA . John R. Koza. 1992. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA, USA."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/aic.690370209"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20407-4_15"},{"key":"e_1_3_2_1_21_1","volume-title":"Late Breaking Papers at the Genetic and Evolutionary Computation Conference (GECCO-2002), Erick Cant\u00fa-Paz (Ed.)","author":"Langdon W. B.","year":"2002","unstructured":"W. B. Langdon . 2002. Random Search is Parsimonious . In Late Breaking Papers at the Genetic and Evolutionary Computation Conference (GECCO-2002), Erick Cant\u00fa-Paz (Ed.) . AAAI , New York, NY , 308--315. http:\/\/www.cs.ucl.ac.uk\/staff\/W.Langdon\/ftp\/papers\/wbl_gecco 2002 lb.pdf W. B. Langdon. 2002. Random Search is Parsimonious. In Late Breaking Papers at the Genetic and Evolutionary Computation Conference (GECCO-2002), Erick Cant\u00fa-Paz (Ed.). AAAI, New York, NY, 308--315. http:\/\/www.cs.ucl.ac.uk\/staff\/W.Langdon\/ftp\/papers\/wbl_gecco2002lb.pdf"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3205455.3205629"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30668-1_5"},{"key":"e_1_3_2_1_25_1","volume-title":"Simple random search provides a competitive approach to reinforcement learning. CoRR abs\/1803.07055","author":"Mania Horia","year":"2018","unstructured":"Horia Mania , Aurelia Guy , and Benjamin Recht . 2018. Simple random search provides a competitive approach to reinforcement learning. CoRR abs\/1803.07055 ( 2018 ). arXiv:1803.07055 http:\/\/arxiv.org\/abs\/1803.07055 Horia Mania, Aurelia Guy, and Benjamin Recht. 2018. Simple random search provides a competitive approach to reinforcement learning. CoRR abs\/1803.07055 (2018). arXiv:1803.07055 http:\/\/arxiv.org\/abs\/1803.07055"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32937-1_3"},{"key":"e_1_3_2_1_27_1","volume-title":"Neuro-Symbolic Program Synthesis. CoRR abs\/1611.01855","author":"Parisotto Emilio","year":"2016","unstructured":"Emilio Parisotto , Abdel-rahman Mohamed, Rishabh Singh , Lihong Li , Dengyong Zhou , and Pushmeet Kohli . 2016. Neuro-Symbolic Program Synthesis. CoRR abs\/1611.01855 ( 2016 ). arXiv:1611.01855 http:\/\/arxiv.org\/abs\/1611.01855 Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, Lihong Li, Dengyong Zhou, and Pushmeet Kohli. 2016. Neuro-Symbolic Program Synthesis. CoRR abs\/1611.01855 (2016). arXiv:1611.01855 http:\/\/arxiv.org\/abs\/1611.01855"},{"key":"e_1_3_2_1_28_1","volume-title":"A Field Guide to Genetic Programming. Lulu Enterprises","author":"Poli Riccardo","unstructured":"Riccardo Poli , William B. Langdon , and Nicholas Freitag McPhee . 2008. A Field Guide to Genetic Programming. Lulu Enterprises , UK Ltd . Riccardo Poli, William B. Langdon, and Nicholas Freitag McPhee. 2008. A Field Guide to Genetic Programming. Lulu Enterprises, UK Ltd."},{"key":"e_1_3_2_1_29_1","volume-title":"Exact solutions to the nonlinear dynamics of learning in deep linear neural networks. arXiv preprint arXiv:1312.6120","author":"Saxe Andrew M","year":"2013","unstructured":"Andrew M Saxe , James L McClelland , and Surya Ganguli . 2013. Exact solutions to the nonlinear dynamics of learning in deep linear neural networks. arXiv preprint arXiv:1312.6120 ( 2013 ). Andrew M Saxe, James L McClelland, and Surya Ganguli. 2013. Exact solutions to the nonlinear dynamics of learning in deep linear neural networks. arXiv preprint arXiv:1312.6120 (2013)."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87536-9_40"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1389095.1389343"},{"key":"e_1_3_2_1_32_1","volume-title":"Continuous reformulations of discrete-continuous optimization problems. Computers & chemical engineering 28, 10","author":"Stein Oliver","year":"2004","unstructured":"Oliver Stein , Jan Oldenburg , and Wolfgang Marquardt . 2004. Continuous reformulations of discrete-continuous optimization problems. Computers & chemical engineering 28, 10 ( 2004 ), 1951--1966. Oliver Stein, Jan Oldenburg, and Wolfgang Marquardt. 2004. Continuous reformulations of discrete-continuous optimization problems. Computers & chemical engineering 28, 10 (2004), 1951--1966."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2004.03.011"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2017.7969355"},{"key":"e_1_3_2_1_35_1","volume-title":"On the Practical Computational Power of Finite Precision RNNs for Language Recognition. CoRR abs\/1805.04908","author":"Weiss Gail","year":"2018","unstructured":"Gail Weiss , Yoav Goldberg , and Eran Yahav . 2018. On the Practical Computational Power of Finite Precision RNNs for Language Recognition. CoRR abs\/1805.04908 ( 2018 ). arXiv:1805.04908 http:\/\/arxiv.org\/abs\/1805.04908 Gail Weiss, Yoav Goldberg, and Eran Yahav. 2018. On the Practical Computational Power of Finite Precision RNNs for Language Recognition. CoRR abs\/1805.04908 (2018). arXiv:1805.04908 http:\/\/arxiv.org\/abs\/1805.04908"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1989.1.2.270"},{"key":"e_1_3_2_1_37_1","unstructured":"W. Zaremba T. Mikolov A. Joulin and R. Fergus. 2015. Learning Simple Algorithms from Examples. ArXiv e-prints (Nov. 2015). arXiv:cs.AI\/1511.07275  W. Zaremba T. Mikolov A. Joulin and R. Fergus. 2015. Learning Simple Algorithms from Examples. ArXiv e-prints (Nov. 2015). arXiv:cs.AI\/1511.07275"}],"event":{"name":"GECCO '20: Genetic and Evolutionary Computation Conference","location":"Canc\u00fan Mexico","acronym":"GECCO '20","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"]},"container-title":["Proceedings of the 2020 Genetic and Evolutionary Computation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377930.3390213","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377930.3390213","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:40:59Z","timestamp":1750200059000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377930.3390213"}},"subtitle":["evolutionary search in neural embeddings"],"short-title":[],"issued":{"date-parts":[[2020,6,25]]},"references-count":36,"alternative-id":["10.1145\/3377930.3390213","10.1145\/3377930"],"URL":"https:\/\/doi.org\/10.1145\/3377930.3390213","relation":{},"subject":[],"published":{"date-parts":[[2020,6,25]]},"assertion":[{"value":"2020-06-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}