awakening-goedel-v2-32b-rl — внутренний чекпойнт Goedel-Prover-V2-32B, подготовленный juihuichung для исследования восстановления возможностей инструментального взаимодействия после дообучения на формальной математике. Это плотная авторегрессионная модель семейства Qwen3 с 29,7 млрд параметров, дообученная на Qwen/Qwen3-32B; она принимает текст и генерирует текст, включая ответы в интерфейсе вызова инструментов.

Контекст составляет до 40 960 токенов. Карточка указывает на применение в формальном доказательстве теорем и работе с Lean 4, но сообщает, что в этом чекпойнте использование инструментов деградировало, как и в базовой SFT-версии; для восстановления этой возможности README отсылает к отдельной модели awakening-rl-replay100. Модель распространяется по лицензии Apache-2.0.