Jason Rute

icon indicating a website link jasonrute.github.io

icon company @ibm icon location Greater Boston, MA icon location Former mathematician turned data scientist turned AI researcher. My passion is teaching AI systems to reason, especially in mathematics.

Results 3 repositories owned by Jason Rute

modulize

21
Stars
14
Forks
Watchers

A Python decorator for converting a function into a module. It also includes tools for combining multiple Python files into one.

verified publisher icon jasonrute

puzzle_cube

81
Stars
21
Forks
Watchers

Solving the Rubik's cube with deep reinforcement learning and Monte Carlo tree search

verified publisher icon jasonrute

thoughts-on-ai-for-theorem-proving

20
Stars
2
Forks
Watchers

verified publisher icon jasonrute