Načítání...
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Citace za rok
Duplicitní citace
Následující články byly sloučeny ve službě Scholar. Do
celkového počtu citací
se započítává pouze první článek.
Sloučené citace
Počet citovaných článků zahrnuje citace následujících článků ve službě Scholar. Články označené hvězdičkou (
*
) a články v profilu se mohou lišit.
Přidat spoluautory
Spoluautoři
Sledovat
Nové články od tohoto autora
Nové citace tohoto autora
Nové články související s výzkumem tohoto autora
E-mailová adresa k příjmu aktualit
Dokončit
Můj profil
Moje knihovna
Metriky
Upozornění
Nastavení
Přihlásit se
Přihlásit se
Založit si vlastní profil
Citace
Všechny
Od 2019
Citace
37
37
h-index
2
2
i10-index
1
1
0
20
10
2020
2021
2022
2023
2024
1
1
4
12
19
Sledovat
Scott Viteri
PhD Student,
Stanford University
E-mailová adresa ověřena na: stanford.edu -
Domovská stránka
AI Alignment
Machine Learning
Články
Citace
Název
Seřadit
Seřadit podle citací
Seřadit podle roku
Seřadit podle názvu
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
26
2022
Epistemic phase transitions in mathematical proofs
S Viteri, S DeDeo
Cognition 225, 105120
, 2022
9
2022
Explosive proofs of mathematical truths
S Viteri, S DeDeo
arXiv preprint arXiv:2004.00055 10
, 2020
2
2020
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
Zobrazit další
Ochrana soukromí
Smluvní podmínky
Nápověda
O službě Scholar
Vyhledat v nápovědě