search

ityonemo / mavis_inference

inference engine for mavis typesystem
1 stars 0 forks source link

basic backpropagation on restricted output. #6

Open ityonemo opened 4 years ago

ityonemo commented 4 years ago

if the output changes and it's a smaller subset of possible output values, then we might need to alter our backpropagation.

Example

c = a + b 
mod(c, 2)

this changes the universe of inputs to a + b

ityonemo commented 4 years ago

moved from https://github.com/ityonemo/mavis/issues/23