Sledovat
Scott Viteri
Scott Viteri
PhD Student, Stanford University
E-mailová adresa ověřena na: stanford.edu - Domovská stránka
Název
Citace
Citace
Rok
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
262022
Epistemic phase transitions in mathematical proofs
S Viteri, S DeDeo
Cognition 225, 105120, 2022
92022
Explosive proofs of mathematical truths
S Viteri, S DeDeo
arXiv preprint arXiv:2004.00055 10, 2020
22020
Uncovering Latent Chain of Thought Vectors in Language Models
J Zhang, S Viteri
arXiv preprint arXiv:2409.14026, 2024
2024
Markovian Agents for Informative 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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–6