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 | 29 | 2022 |
Epistemic phase transitions in mathematical proofs S Viteri, S DeDeo Cognition 225, 105120, 2022 | 10 | 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 |
Markovian Transformers for Informative Language Modeling S Viteri, M Lamparth, P Chatain, C Barrett | | |
Inside-Out Code Auto-Completion G Poesia, L Gillespie, S Viteri | | |