search

Josek20 / MetaProject

0 stars 0 forks source link

Create MWE #6

Closed pevnak closed 1 month ago

pevnak commented 2 months ago

Find 2 states (expressions) which are not recognizable by a current neural network.

Create a random neural network f and you have two expression ex1, ex2

if f(ex1) == f(ex2) then very likely ex1 and ex2 are unrecognizable by your NN architecture

Possibly try position encoding

pevnak commented 2 months ago

Karel's suggestion is to go through all rules and see, if we can separate all left hand sides of rules, because If yes, then we can recognize all of them.

pevnak commented 2 months ago

We need to encode numbers.

pevnak commented 2 months ago

:(a + b) should be different to :(b + a) that they are the same, because we do not encode the name of variable. Karel suggest to renamve variables using De Bruijn encoding (indices), which just renames from left to right. Project numbers through hyperbolic tanh.