Follow
Scott Viteri
Scott Viteri
PhD Student, Stanford University
Verified email at stanford.edu - Homepage
Title
Cited by
Cited by
Year
Flexible proof production in an industrial-strength SMT solver
H Barbosa, A Reynolds, G Kremer, H Lachnitt, A Niemetz, A Nötzli, ...
International Joint Conference on Automated Reasoning, 15-35, 2022
162022
Epistemic phase transitions in mathematical proofs
S Viteri, S DeDeo
Cognition 225, 105120, 2022
82022
Explosive proofs of mathematical truths
S Viteri, S DeDeo
arXiv preprint arXiv:2004.00055 10, 2020
22020
Markovian Agents for Truthful Language Modeling
S Viteri, M Lamparth, P Chatain, C Barrett
arXiv preprint arXiv:2404.18988, 2024
2024
Inside-Out Code Auto-Completion
G Poesia, L Gillespie, S Viteri
The system can't perform the operation now. Try again later.
Articles 1–5