Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Alla
Sedan 2019
Citat
26
25
h-index
2
2
i10-index
1
1
0
12
6
2020
2021
2022
2023
2024
1
1
4
12
7
Följ
Scott Viteri
PhD Student,
Stanford University
Verifierad e-postadress på stanford.edu -
Startsida
AI Alignment
Machine Learning
Artiklar
Citeras av
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
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
16
2022
Epistemic phase transitions in mathematical proofs
S Viteri, S DeDeo
Cognition 225, 105120
, 2022
8
2022
Explosive proofs of mathematical truths
S Viteri, S DeDeo
arXiv preprint arXiv:2004.00055 10
, 2020
2
2020
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–5
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen