@article{journals/corr/abs-1912-13430,
  added-at = {2020-01-07T00:00:00.000+0100},
  author = {Camacho, Alberto and McIlraith, Sheila A.},
  biburl = {https://www.bibsonomy.org/bibtex/24edbecd181578a44ef40fa36bfc3ef81/dblp},
  ee = {http://arxiv.org/abs/1912.13430},
  interhash = {f5c23e05539a038edde84e29de062096},
  intrahash = {4edbecd181578a44ef40fa36bfc3ef81},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2020-01-08T11:39:47.000+0100},
  title = {Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1912.html#abs-1912-13430},
  volume = {abs/1912.13430},
  year = 2019
}

{"_id":"6ipzCzTnh5nzGzhfe","bibbaseid":"camacho-mcilraith-towardsneuralguidedprogramsynthesisforlineartemporallogicspecifications-2019","authorIDs":["GvvCbq8Y4n9QqTySC"],"author_short":["Camacho, A.","McIlraith, S. A."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-01-07T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Camacho"],"firstnames":["Alberto"],"suffixes":[]},{"propositions":[],"lastnames":["McIlraith"],"firstnames":["Sheila","A."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/24edbecd181578a44ef40fa36bfc3ef81/dblp","ee":"http://arxiv.org/abs/1912.13430","interhash":"f5c23e05539a038edde84e29de062096","intrahash":"4edbecd181578a44ef40fa36bfc3ef81","journal":"CoRR","keywords":"dblp","timestamp":"2020-01-08T11:39:47.000+0100","title":"Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1912.html#abs-1912-13430","volume":"abs/1912.13430","year":"2019","bibtex":"@article{journals/corr/abs-1912-13430,\n added-at = {2020-01-07T00:00:00.000+0100},\n author = {Camacho, Alberto and McIlraith, Sheila A.},\n biburl = {https://www.bibsonomy.org/bibtex/24edbecd181578a44ef40fa36bfc3ef81/dblp},\n ee = {http://arxiv.org/abs/1912.13430},\n interhash = {f5c23e05539a038edde84e29de062096},\n intrahash = {4edbecd181578a44ef40fa36bfc3ef81},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2020-01-08T11:39:47.000+0100},\n title = {Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1912.html#abs-1912-13430},\n volume = {abs/1912.13430},\n year = 2019\n}\n\n","author_short":["Camacho, A.","McIlraith, S. A."],"key":"journals/corr/abs-1912-13430","id":"journals/corr/abs-1912-13430","bibbaseid":"camacho-mcilraith-towardsneuralguidedprogramsynthesisforlineartemporallogicspecifications-2019","role":"author","urls":{"Link":"http://arxiv.org/abs/1912.13430","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1912.html#abs-1912-13430"},"keyword":["dblp"],"metadata":{"authorlinks":{"mcilraith, s":"https://www.cs.toronto.edu/"}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Sheila McIlraith?items=1000","creationDate":"2020-08-18T15:17:53.089Z","downloads":0,"keywords":["dblp"],"search_terms":["towards","neural","guided","program","synthesis","linear","temporal","logic","specifications","camacho","mcilraith"],"title":"Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications.","year":2019,"dataSources":["uKBTF27RvvtN9Ryxw"]}