ReForm is a reflective Autoformalization framework that enables large language models to generate → verify → refine formal mathematical statements in an integrated self-corrective loop. It introduces Prospective Bounded Sequence Optimization (PBSO) — a novel reinforcement learning algorithm designed for heterogeneous rewards at different sequence positions — enabling stable, reflective training and substantial gains in semantic fidelity. Figure: ReForm consistently outperforms Goedel-V2 and Kimina-Autoformalizer on all benchmarks.
Модальности:
Генерация текста
Области применения:
Диалог / чат
Задача: Генерация текста
Автор: GuoxinChen
Теги: qwen3, conversational, en, text-generation-inference, endpoints_compatible
Лайков: 4 | Загрузок: 18
Описание основано на материалах HuggingFace. Перевод выполнен автоматически.
