Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Gulati, Aryan"'
Autor:
Gulati, Aryan, Dong, Xingjian, Hurtado, Carlos, Shekkizhar, Sarath, Swayamdipta, Swabha, Ortega, Antonio
As language models become more general purpose, increased attention needs to be paid to detecting out-of-distribution (OOD) instances, i.e., those not belonging to any of the distributions seen during training. Existing methods for detecting OOD data
Externí odkaz:
http://arxiv.org/abs/2407.13141
Large Language Models (LLMs) hold the potential to revolutionize autoformalization. The introduction of Lean4, a mathematical programming language, presents an unprecedented opportunity to rigorously assess the autoformalization capabilities of LLMs.
Externí odkaz:
http://arxiv.org/abs/2406.06555
Autor:
Gulati, Aryan
Publikováno v:
Amity Journal of Computational Sciences; 2022, Vol. 6 Issue 2, p1-7, 7p