-
Notifications
You must be signed in to change notification settings - Fork 15
/
output.txt
32 lines (32 loc) · 13.2 KB
/
output.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
Traceback (most recent call last):
File "main.py", line 37, in <module>
even_numbers_test()
File "main.py", line 32, in even_numbers_test
dilp.train()
File "/src/src/dilp/dilp.py", line 174, in train
grads = self.grad()
File "/src/src/dilp/dilp.py", line 140, in grad
loss_value = self.loss(-1)
File "/src/src/dilp/dilp.py", line 128, in loss
outputs = tf.gather(self.deduction(), np.array(
File "/src/src/dilp/dilp.py", line 122, in deduction
valuation = self.inference_step(valuation)
File "/src/src/dilp/dilp.py", line 115, in inference_step
valuation, self.rule_weights[p])
File "/usr/local/lib/python3.6/site-packages/tensorflow/python/ops/math_ops.py", line 869, in binary_op_wrapper
y = ops.convert_to_tensor(y, dtype=x.dtype.base_dtype, name="y")
File "/usr/local/lib/python3.6/site-packages/tensorflow/python/framework/ops.py", line 1050, in convert_to_tensor
as_ref=False)
File "/usr/local/lib/python3.6/site-packages/tensorflow/python/framework/ops.py", line 1146, in internal_convert_to_tensor
ret = conversion_func(value, dtype=dtype, name=name, as_ref=as_ref)
File "/usr/local/lib/python3.6/site-packages/tensorflow/python/ops/array_ops.py", line 971, in _autopacking_conversion_function
return _autopacking_helper(v, dtype, name or "packed")
File "/usr/local/lib/python3.6/site-packages/tensorflow/python/ops/array_ops.py", line 922, in _autopacking_helper
constant_op.constant(elem, dtype=dtype, name=str(i)))
File "/usr/local/lib/python3.6/site-packages/tensorflow/python/framework/constant_op.py", line 208, in constant
value, dtype=dtype, shape=shape, verify_shape=verify_shape))
File "/usr/local/lib/python3.6/site-packages/tensorflow/python/framework/tensor_util.py", line 442, in make_tensor_proto
_AssertCompatible(values, dtype)
File "/usr/local/lib/python3.6/site-packages/tensorflow/python/framework/tensor_util.py", line 353, in _AssertCompatible
(dtype.name, repr(mismatch), type(mismatch).__name__))
TypeError: Expected float32, got {0: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_0),pred(X_0,X_0)), 1: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_0),pred(X_0,X_1)), 2: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_0),pred(X_1,X_0)), 3: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_0),pred(X_1,X_1)), 4: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_0),target(X_1)), 5: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_0),succ(X_0,X_0)), 6: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_0),succ(X_0,X_1)), 7: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_0),succ(X_1,X_0)), 8: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_0),succ(X_1,X_1)), 9: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_0),zero(X_0)), 10: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_0),zero(X_1)), 11: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_1),pred(X_0,X_1)), 12: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_1),pred(X_1,X_0)), 13: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_1),pred(X_1,X_1)), 14: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_1),target(X_1)), 15: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_1),succ(X_0,X_0)), 16: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_1),succ(X_0,X_1)), 17: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_1),succ(X_1,X_0)), 18: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_1),succ(X_1,X_1)), 19: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_1),zero(X_0)), 20: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_0,X_1),zero(X_1)), 21: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_1,X_0),pred(X_1,X_0)), 22: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_1,X_0),pred(X_1,X_1)), 23: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_1,X_0),target(X_1)), 24: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_1,X_0),succ(X_0,X_0)), 25: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_1,X_0),succ(X_0,X_1)), 26: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_1,X_0),succ(X_1,X_0)), 27: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_1,X_0),succ(X_1,X_1)), 28: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_1,X_0),zero(X_0)), 29: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_1,X_0),zero(X_1)), 30: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_1,X_1),target(X_1)), 31: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_1,X_1),succ(X_0,X_0)), 32: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_1,X_1),succ(X_0,X_1)), 33: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_1,X_1),succ(X_1,X_0)), 34: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_1,X_1),zero(X_0)), 35: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> pred(X_1,X_1),zero(X_1)), 36: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> target(X_1),target(X_1)), 37: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> target(X_1),succ(X_0,X_0)), 38: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> target(X_1),succ(X_0,X_1)), 39: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> target(X_1),succ(X_1,X_0)), 40: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> target(X_1),succ(X_1,X_1)), 41: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> target(X_1),zero(X_0)), 42: (target(X_0) -> succ(X_0,X_0),succ(X_0,X_0), target(X_0) -> target(X_1),zero(X_1)), 43: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),pred(X_0,X_0)), 44: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),pred(X_0,X_1)), 45: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),pred(X_1,X_0)), 46: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),pred(X_1,X_1)), 47: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),target(X_1)), 48: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),succ(X_0,X_0)), 49: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),succ(X_0,X_1)), 50: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),succ(X_1,X_0)), 51: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),succ(X_1,X_1)), 52: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),zero(X_0)), 53: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),zero(X_1)), 54: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),pred(X_0,X_1)), 55: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),pred(X_1,X_0)), 56: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),pred(X_1,X_1)), 57: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),target(X_1)), 58: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),succ(X_0,X_0)), 59: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),succ(X_0,X_1)), 60: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),succ(X_1,X_0)), 61: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),succ(X_1,X_1)), 62: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),zero(X_0)), 63: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),zero(X_1)), 64: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),pred(X_1,X_0)), 65: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),pred(X_1,X_1)), 66: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),target(X_1)), 67: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),succ(X_0,X_0)), 68: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),succ(X_0,X_1)), 69: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),succ(X_1,X_0)), 70: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),succ(X_1,X_1)), 71: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),zero(X_0)), 72: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),zero(X_1)), 73: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_1,X_1),target(X_1)), 74: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_1,X_1),succ(X_0,X_0)), 75: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_1,X_1),succ(X_0,X_1)), 76: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_1,X_1),succ(X_1,X_0)), 77: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_1,X_1),zero(X_0)), 78: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> pred(X_1,X_1),zero(X_1)), 79: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> target(X_1),target(X_1)), 80: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> target(X_1),succ(X_0,X_0)), 81: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> target(X_1),succ(X_0,X_1)), 82: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> target(X_1),succ(X_1,X_0)), 83: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> target(X_1),succ(X_1,X_1)), 84: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> target(X_1),zero(X_0)), 85: (target(X_0) -> succ(X_0,X_0),zero(X_0), target(X_0) -> target(X_1),zero(X_1)), 86: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),pred(X_0,X_0)), 87: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),pred(X_0,X_1)), 88: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),pred(X_1,X_0)), 89: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),pred(X_1,X_1)), 90: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),target(X_1)), 91: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),succ(X_0,X_0)), 92: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),succ(X_0,X_1)), 93: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),succ(X_1,X_0)), 94: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),succ(X_1,X_1)), 95: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),zero(X_0)), 96: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_0),zero(X_1)), 97: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),pred(X_0,X_1)), 98: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),pred(X_1,X_0)), 99: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),pred(X_1,X_1)), 100: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),target(X_1)), 101: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),succ(X_0,X_0)), 102: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),succ(X_0,X_1)), 103: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),succ(X_1,X_0)), 104: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),succ(X_1,X_1)), 105: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),zero(X_0)), 106: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_0,X_1),zero(X_1)), 107: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),pred(X_1,X_0)), 108: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),pred(X_1,X_1)), 109: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),target(X_1)), 110: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),succ(X_0,X_0)), 111: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),succ(X_0,X_1)), 112: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),succ(X_1,X_0)), 113: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),succ(X_1,X_1)), 114: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),zero(X_0)), 115: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_1,X_0),zero(X_1)), 116: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_1,X_1),target(X_1)), 117: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_1,X_1),succ(X_0,X_0)), 118: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_1,X_1),succ(X_0,X_1)), 119: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_1,X_1),succ(X_1,X_0)), 120: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_1,X_1),zero(X_0)), 121: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> pred(X_1,X_1),zero(X_1)), 122: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> target(X_1),target(X_1)), 123: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> target(X_1),succ(X_0,X_0)), 124: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> target(X_1),succ(X_0,X_1)), 125: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> target(X_1),succ(X_1,X_0)), 126: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> target(X_1),succ(X_1,X_1)), 127: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> target(X_1),zero(X_0)), 128: (target(X_0) -> zero(X_0),zero(X_0), target(X_0) -> target(X_1),zero(X_1))} of type 'dict' instead.