Scott Viteri

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 3

Top Topics

Trec Collections

Mathematical Knowledge

Top Venues

Publications

Scott Viteri, Max Lamparth, Peter Chatain, Clark W. Barrett
Markovian Agents for Truthful Language Modeling. CoRR (2024)
Haniel Barbosa, Andrew Reynolds, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli, Clark W. Barrett
Flexible Proof Production in an Industrial-Strength SMT Solver. IJCAR (2022)
Scott Viteri, Simon DeDeo
Explosive Proofs of Mathematical Truths. CoRR (2020)