Name: Jason Rute
Type: User
Company: @ibm
Bio: Former mathematician turned data scientist turned AI researcher. My passion is teaching AI systems to reason, especially in mathematics.
Location: Greater Boston, MA
Blog: jasonrute.github.io
Jason Rute's Projects
Annotated lean files
A simulator for the Tron multiplayer competition on CodinGame.com
An arena for CodinGame games. (Currently works for only Wonder Women.)
Prototype of back-and-forth tactic application in Lean through an external program.
A Seamless, Interactive Tactic Learner and Prover for Coq
Training a neural network to compete in the Coder's Strike Back competition on CodinGame.com
A workshop on functional programming for Insight Data Science
Example communicating with HOList
Possibly my future website
Lean Theorem Prover
Recording of tactic proofs in Lean 3 for machine learning
Purely functional data structures in Lean
A prototype version of a machine learning gym for the Lean 3 theorem prover
Scrapes all info messages from all lean files (both system and mathlib)
Proof recording for Lean 3
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
A Python decorator for converting a function into a module. It also includes tools for combining multiple Python files into one.
An implementation of a neural network in pure Python/NumPy. Useful for programming competitions.
Solving the Rubik's cube with deep reinforcement learning and Monte Carlo tree search
Code submodule for the Rubik's cube project