Love. Death. Transformers.

28 February 2023 02:24

#чтивонаночь (нет блять на утро)

ProofNet - новый бенчмарк от Euther Ai для доказательства теорем и автоформализации математики на уровне бакалавриата. ProofNet включает в себя +- первые два курса сатана, алгебры, дискры. Исследователи отмечают, что их бенчмарк труден для моделей с параметрами GPT-3 и O(1B), даже при использовании небольшого количества обучающих примеров.

Paper
Dataset 🤗