Improving Autoformalization using Type Checking. - Auguste Poiroux; Gail Weiss; Viktor Kuncak; Antoine Bosselut (CoRR, 2024)

Interoperability of Proof Systems with SC-TPTP. - Simon Guilloud; Julie Cailler; Sankalp Gambhir; Auguste Poiroux; Yann Herklotz; Thomas Bourgeat; Viktor Kuncak (CADE, 2025)