Jason Rute's user avatar
Jason Rute's user avatar
Jason Rute's user avatar
Jason Rute
  • Member for 12 years, 3 months
  • Last seen this week
About

Former mathematician turned data scientist turned AI researcher. My passion is teaching AI systems to reason, especially in mathematics.

My previous academic interests were in Computability Theory and Proof Theory. More specifically, I was interested in the relationship between computability and analysis, including computable analysis, algorithmic randomness, reverse mathematics, and finitary/metastable results.

2
gold badges
26
silver badges
50
bronze badges
90
Score
23
Posts
27
Posts %
58
Score
34
Posts
40
Posts %
24
Score
14
Posts
16
Posts %
20
Score
11
Posts
13
Posts %
19
Score
7
Posts
8
Posts %
13
Score
7
Posts
8
Posts %
Top posts
View all questions and answers