The authors used a Bayesian modeling framework to fit behavior and serotonin neuron activity to reward history across multiple timescales. A key goal was to distinguish value coding from other ...

Supercompilation 1 is a program transformation technique that symbolically evaluates a given program, with run-time values as unknowns. In doing so, it discovers execution patterns of the original ...