Liang Lu's repositories
dynet
DyNet: The Dynamic Neural Network Toolkit
Language:C++Apache-2.0000
weighted_lstar
implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
Language:Python000
DyNet: The Dynamic Neural Network Toolkit
implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019