#teorema formal

FormalRewardBench: Un punto de referencia para modelos de recompensa en demostración formal de teoremas

FormalRewardBench: benchmark para evaluar modelos de recompensa en teoremas formales. Impulsa tu investigación en IA y demostración automática.