{"_id":"nhKbQWRdJoZqQktbE","bibbaseid":"camacho-mcilraith-towardsneuralguidedprogramsynthesisoflineartemporallogicspecifications-2019","authorIDs":["2JP7Eg9bhybNpzYiR","3XTrQJhM6WgBbiDbs","3b3gnNFqBHiteKXs2","3wSJLXJ9XuZ2mDm2H","49zg6n33JhWCCjH4G","4zKMDaLdYLdgGQChe","5df993a1c4ada8de01000019","5df99645c4ada8de0100003b","5e0b2662fc92e9de01000023","5e160321efa1cddf01000277","5e25b773b57878de010001e1","5e272ebd557b88de010000b6","5e2b334a27ed83df01000123","5e2e2abccc9e90e4010000fc","5e324da4e45eb5df010000d5","5e3449e70c807ede01000132","5e40b576019547df010000c0","5e42164870cecede01000048","5e4d64b108a8e5de01000031","5e514743fe5af9df01000091","5e55af2b7d0846de010000c4","5e5a5d62b034a8df0100001b","5e5c3af568f281de01000023","5e5e62255f9e7bee010001bb","5e5ee78ccc2eefde01000085","6RJeJwCaTdt9z5nYv","7bxyKKMGnHxEQh3cj","7deQZsScCfPeKMrqy","ATNoaRSndJwiMQonw","BiCJ3yKjnhWp5CCMC","BsZbZovaHNF4dA3SG","CBLksFoEERH5GZA5T","CEHomL2HupdANcjHm","FfGeNRF9QvLSRujvc","GKYqrPg3uj7nu7nbt","GvvCbq8Y4n9QqTySC","H5crAWCHh6CtutSp3","HF25KvZDEBf5Nvp8x","HhKYdEPpCZAmKPPQc","J5FZeQWmDd6p96K8P","Lk4oC9xJyhagKJyo6","LwbwhDPiGy5gvQipm","NJYBJe35TWp5FARRc","Ni37kLLmf4zgkdNFZ","RStoeQpfqvDsMSLzJ","S6JseZ2prMTKs24ym","SPGedFjeWXsYiB6tq","T9PWjMkNwX9WQ5frZ","TuqvMAPdZhcxfZKp7","WKpwMkNYj2iNsJ48r","Wipe7PE2hMCo9rb5r","WqZpp9fP47artme8L","XEMAfXz5wSaaLnBkk","YYzBhJWRGjiEKRDnZ","ZgeG2ZjGwAuPqqEmA","aijWPoggdP77wxPuf","dBkxSxaYwPmKXxEg8","dXrbumWfb7fR9Kak8","fZgBEq2CFLY5oCbhJ","goc5YRXzjuZMrzKik","hnF3mFjXA6XYLLhgh","iEMJPovEGF7jk6vBD","iWkYLX2HSxaiwbphr","j9wxxJ9nPog3bHXaY","jArTXYwhaXss62KJk","jDsmsaB2wJpvPgxE4","jQ6CLx98WT9tg54oT","kHSR5D3QYy2f3iKFf","kx2M4GyrQDBEqRT4q","m6X7Yg32T74Fxxn2d","mDT7qYTqNpZo4tXcj","mZRqmrrWcFXhvyhAi","n5nsNDT3PrjBRrmw6","nvsBeFCxyzjQRGPSi","paM4BdJgmXhvmhNf8","t7Mi3Geoz9C8Aibas","tRLzqBJWc3TYzBYox","vCzpvySfmJ5w7kMBh","vReYR7kzq7n4RR9Ng","x6aX8g9rWCY5wzyW2","xW8eSNRWi7bXhQuHC","xm2sosMHyKsPj85Pb","yQ8buY4mGRZGmLKte","ybLsHWfLgzQZAQ5WE","zsNPuARLzosfgmFwd"],"author_short":["Camacho, A.","McIlraith, S. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alberto"],"propositions":[],"lastnames":["Camacho"],"suffixes":[]},{"firstnames":["Sheila","A."],"propositions":[],"lastnames":["McIlraith"],"suffixes":[]}],"title":"Towards Neural-Guided Program Synthesis of Linear Temporal Logic Specifications","booktitle":"Workshop on Knowledge Representation and Reasoning Meets Machine Learning (KR2ML) at NeurIPS","year":"2019","keywords":"LTL","bibtex":"@inproceedings{cam-mci-kr2ml19,\n author = {Alberto Camacho and\n Sheila A. McIlraith},\n title = {Towards Neural-Guided Program Synthesis of Linear Temporal Logic Specifications},\n booktitle = {Workshop on Knowledge Representation and Reasoning Meets Machine Learning (KR2ML) at NeurIPS},\n year = {2019},\n keywords = {LTL}\n}\n\n","author_short":["Camacho, A.","McIlraith, S. A."],"key":"cam-mci-kr2ml19","id":"cam-mci-kr2ml19","bibbaseid":"camacho-mcilraith-towardsneuralguidedprogramsynthesisoflineartemporallogicspecifications-2019","role":"author","urls":{},"keyword":["LTL"],"metadata":{"authorlinks":{"camacho, a":"http://www.albertocamacho.com/","mcilraith, s":"https://www.cs.toronto.edu/~sheila/publications/"}},"downloads":10},"bibtype":"inproceedings","biburl":"https://www.cs.toronto.edu/~sheila/publications/list.bib","creationDate":"2019-12-18T02:53:55.132Z","downloads":10,"keywords":["ltl"],"search_terms":["towards","neural","guided","program","synthesis","linear","temporal","logic","specifications","camacho","mcilraith"],"title":"Towards Neural-Guided Program Synthesis of Linear Temporal Logic Specifications","year":2019,"dataSources":["FAyKHaeKDYM4aGJk2","euD7cPywCk5gX9zDY","hqqbBi3M3BaCY6ivH","T3oedZczBnZ2Y6GvJ","Jwuh2BtHasSBPk4uf"]}