GitHub repository: vcvpaiva/MathNLI2024-
Primary language: TeX
Description: A repo for work with Larry, Hai, Bert, Pavel and Yikang