Explores the implementation of an Octagon Abstract Interpreter for C programs, covering abstract interpretation, octagonal constraints, closures, pointers, and the FrontC parser.
Delves into spatial memory usage in RL agents for maze navigation tasks, showing improved performance with visual landmarks but inconsistent results in path choosing.
