%0 Conference Paper %1 conf/lpar/Gauthier20 %A Gauthier, Thibault %B LPAR %D 2020 %E Albert, Elvira %E Kovács, Laura %I EasyChair %K dblp %P 230-248 %T Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2020.html#Gauthier20 %V 73

@inproceedings{conf/lpar/Gauthier20, added-at = {2021-10-14T00:00:00.000+0200}, author = {Gauthier, Thibault}, biburl = {https://www.bibsonomy.org/bibtex/2712526f72220786b14e1dd15a4a4dc82/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2020}, editor = {Albert, Elvira and Kovács, Laura}, ee = {https://doi.org/10.29007/7jmg}, interhash = {26ac35b666573143fd37903a5aa2488d}, intrahash = {712526f72220786b14e1dd15a4a4dc82}, keywords = {dblp}, pages = {230-248}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T10:16:07.000+0200}, title = {Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2020.html#Gauthier20}, volume = 73, year = 2020 }