Seguir
Scott Viteri
Scott Viteri
PhD Student, Stanford University
Dirección de correo verificada de stanford.edu - Página principal
Título
Citado por
Citado por
Año
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
172022
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–5