Ascent++
Search
Assertion list
weight
(
aspect
of
neural network
)
→ HasProperty
Results from
Ascent++
:
5
weight
→
HasProperty
→
zero
0.43
weight
→
HasProperty
→
small
0.34
weight
→
HasProperty
→
negative
0.30
weight
→
HasProperty
→
equal
0.25
weight
→
HasProperty
→
wrong
0.16