A New Approach Towards Autoformalization

Published: October 01, 2023