Словарь
DeepMath-103K
Открытый набор из примерно 103 тысяч сложных математических задач с проверяемыми окончательными ответами. Его очистили от пересечений с популярными бенчмарками, чтобы избежать загрязнения данных. Набор нужен для обучения рассуждающих языковых моделей с подкреплением, где правильность ответа проверяется по правилам. К каждой задаче приложены несколько решений, сгенерированных моделью, — их можно использовать для дообучения или дистилляции.