MultiResNets para precondicionamiento de subespacios en optimización restringida
MResOpt: red neuronal en etapas para optimización restringida. Mejora satisfacción de restricciones con alta eficiencia en problemas convexos y no convexos.
#optimización restringida
SAIL: Intérpretes Abstractos Sólidos con LLMs
Descubre cómo SAIL utiliza LLMs para sintetizar transformadores abstractos sólidos y precisos en verificación de redes neuronales. Un avance en interpretación abstracta automática.
Optimización restringida: métodos aleatorios de factibilidad con pasos adaptativos
Descubre cómo los métodos aleatorios de factibilidad con pasos adaptativos resuelven optimización con restricciones en SVM y regresión logística, logrando convergencia rápida y eficiente.
Seguridad en LLMs caja negra: Alineación mediante optimización restringida
Alinea LLMs de caja negra en inferencia usando optimización restringida y teoría de juegos para balancear seguridad y utilidad.
¿Qué tan difícil puede ser? Desaprendizaje multiobjetivo consciente de la dificultad
Descubre HAMU, un enfoque que garantiza mejoras en el olvido de datos minimizando la pérdida de rendimiento del modelo. Ideal para privacidad y equidad en IA.