Sotabase

Career

· CS PhD Candidate At Stanford, Stanford University (Current)2019–
· Computer Science Researcher, Carnegie Mellon University2018–2019
· Artificial Intelligence Researcher, Massachusetts Institute of Technology2018–2018
· Researcher, New England Complex Systems Institute2018–2018
· Student, Oregon Programming Languages Summer School2018–2018
· Robotics And AI Projects, Massachusetts Institute of Technology2017–2017
· Robotics Researcher Robot Locomotion Group, Massachusetts Institute of Technology2017–2017
· Software Development Engineer Intern, Amazon2016–2016

Publications (7)

International Joint Conference on Automated Reasoning · 2022
25
cited
Explosive Proofs of Mathematical Truths
arXiv.org · 2020
2
cited
Inside-Out Code Auto-Completion
2020
The Next Generation of Deduction Systems: From Composition to Compositionality
Sotabase
Scott Viteri | Researcher Profile | Sotabase | Sotabase