Researcher in math+formal methods+ml. Working on using formal verification to train models for mathematics and reasoning @harmonicmath

ID: 144853729

linkhttp://alexjbest.github.io/ calendar_today17-05-2010 13:40:54