Autoformalization with Large Language Models

Published in NeurIPS 2022, 2022

PWC

Poster

It was reported by NewScientist & 机器之心!

Download paper here