markjm - Overview
Pinned Loading
-
A tool for classifying pain grimaces in mouse images. Featured in https://www.nature.com/articles/s41684-018-0078-8?WT
Jupyter Notebook
-
A presentation of a previously unexamined method for improving the efficiency of first-order logic provers
Jupyter Notebook