Explosive Proofs of Mathematical Truths. - Scott Viteri; Simon DeDeo (CoRR, 2020)

Flexible Proof Production in an Industrial-Strength SMT Solver. - Haniel Barbosa; Andrew Reynolds 001; Gereon Kremer; Hanna Lachnitt; Aina Niemetz; Andres Nötzli; Alex Ozdemir; Mathias Preiner; Arjun Viswanathan 001; Scott Viteri; Yoni Zohar; Cesare Tinelli; et al. (IJCAR, 2022)

Markovian Agents for Truthful Language Modeling. - Scott Viteri; Max Lamparth; Peter Chatain; Clark W. Barrett (CoRR, 2024)

Uncovering Latent Chain of Thought Vectors in Language Models. - Jason Zhang; Scott Viteri (CoRR, 2024)