Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jason Breck
Non-Linear Reasoning for Invariant Synthesis
Proceedings of the ACM on Programming Languages
Transient 23-30 Hz Oscillations in Mouse Hippocampus During Exploration of Novel Environments
Hippocampus
Cognitive Neuroscience