Общедоступные статьи - Albert Q. JiangПодробнее...
5 статей доступны в некоторых источниках
Llemma: An open language model for mathematics
Z Azerbayev, H Schoelkopf, K Paster, MD Santos, S McAleer, AQ Jiang, ...
arXiv preprint arXiv:2310.10631, 2023
Финансирование: Natural Sciences and Engineering Research Council of Canada
Autoformalization with large language models
Y Wu, AQ Jiang, W Li, MN Rabe, C Staats, M Jamnik, C Szegedy
NeurIPS 2022, 2022
Финансирование: European Commission
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
AQ Jiang, W Li, S Tworkowski, K Czechowski, T Odrzygóźdź, P Miłoś, ...
NeurIPS 2022, 2022
Финансирование: UK Engineering and Physical Sciences Research Council, European Commission
Evaluating language models for mathematics through interactions
KM Collins, AQ Jiang, S Frieder, L Wong, M Zilka, U Bhatt, T Lukasiewicz, ...
Proceedings of the National Academy of Sciences 121 (24), e2318124121, 2024
Финансирование: UK Engineering and Physical Sciences Research Council, European Commission …
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe
A Ziarko, AQ Jiang, B Piotrowski, W Li, M Jamnik, P Miłoś
arXiv preprint arXiv:2406.04165, 2024
Финансирование: Narodowe Centrum Nauki
Информация о публикациях и финансировании собрана автоматически.