EasyChair Smart SlideDocs/Log in
Author: Adam Pease

This page shows all presentations of this author published in EasyChair Smart Slide.

Formalizing Natural Language: Cultivating LLM Translations Using Automated Theorem Proving

Formalizing Natural Language: Cultivating LLM Translations Using Automated Theorem Proving

Richard Thompson, Adam Pease, Angelos Toutsios, Roberto Milanese Jr. and Jarrad Singley

Presentations in this collection: 1
Copyright © 2002 – 2025 EasyChair