关注
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
182022
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 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
系统目前无法执行此操作，请稍后再试。
文章 1–5
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交