Παρακολούθηση
Scott Viteri
Scott Viteri
PhD Student, Stanford University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα stanford.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–5