FormalEvolve: Búsqueda Evolutiva Neuro-Simbólica para Autoformalización Diversa
Autoformalización diversa con evolución neuro-simbólica: un enfoque innovador que integra redes neuronales y razonamiento simbólico para avanzar en inteligencia artificial.