DiBS: Selección de Ramas Informada por Difusión
Aprende cómo DiBS usa modelos de difusión para guiar ramas en solucionadores simbólicos de Sudoku, reduciendo nodos y retrocesos en instancias complejas.
#solucionador simbólico
BiNSGPS: Problemas de geometría con interacción neuro-simbólica bidireccional
BiNSGPS resuelve problemas de geometría con interacción bidireccional entre MLLM y solucionadores, eliminando errores y alucinaciones.