18 pred = [pred[i]
for i
in range(256)]
21 prob += math.log(pred[ind])
22 if len(tac)
and tac[-1] ==
'.':
32 tacs = sorted(tacs, key=
lambda x: -x[1])
35 net =
load_net(
"cfg/coq.test.cfg",
"/home/pjreddie/backup/coq.backup", 0)
void reset_rnn(network *net)
def predict_tactic(net, s)
def c_array(ctype, values)
def predict_tactics(net, s, n)