2517 artículos
Esta sección explora un abanico fascinante de investigaciones que abarcan desde la química computacional hasta la ciencia de materiales avanzados. Aquí, la teoría se encuentra con la práctica, revelando cómo los científicos modelan sistemas complejos y descubren nuevas propiedades en la materia. Nuestro enfoque está en hacer que estos hallazgos, a menudo presentados en un lenguaje técnico denso, sean comprensibles para cualquier persona curiosa.
En Gist.Science, monitoreamos constantemente arXiv, la biblioteca prepublicada líder, para seleccionar cada nuevo manuscrito en este rango temático. Procesamos cada documento para ofrecer dos versiones de resumen: una explicación clara en lenguaje llano para el público general y un análisis técnico detallado para expertos. De este modo, garantizamos que la información fluya sin barreras, manteniendo la precisión científica mientras democratizamos el acceso al conocimiento.
A continuación, encontrará la lista actualizada de los últimos trabajos publicados en este campo, listos para ser explorados y comprendidos.
El artículo presenta SARSteer, el primer marco de defensa en tiempo de inferencia para Grandes Modelos de Audio y Lenguaje que combina el direccionamiento de rechazo derivado de texto con la ablación de espacio seguro descompuesta para mitigar eficazmente las respuestas dañinas inducidas por audio mientras evita el sobre-rechazo en consultas benignas.
Este artículo propone un marco de privacidad PAC para la predicción de aprendizaje automático privado que aprovecha la estabilidad empírica basada en instancias y un nuevo teorema de composición adversarial adaptativa para lograr una acumulación de información mutua lineal, permitiendo el servicio de modelos de alta utilidad y la posterior destilación de modelos privada con garantías de privacidad significativamente más fuertes que la privacidad diferencial tradicional.
NeST es un marco de alineación de seguridad post-hoc eficiente en parámetros que identifica y ajusta selectivamente grupos de neuronas de alimentación hacia adelante relevantes para la seguridad utilizando únicamente prompts maliciosos vainilla, logrando una defensa robusta contra diversos jailbreaks en modelos de texto y multimodales con una sobrecarga computacional mínima.
Este artículo analiza cómo el paralelismo de ejecución y la contingencia en las blockchains modernas crean compensaciones inherentes entre los incentivos del usuario y del programador, demostrando un resultado de imposibilidad para los mecanismos de tarifas existentes y proponiendo un nuevo marco que logra límites óptimos para la equidad y el rendimiento en sistemas como Sui y Monad.
Este artículo presenta actualizaciones a la infraestructura de DRAM Bender dentro de un laboratorio de caracterización de memoria a gran escala, mejorando su versatilidad, el soporte de interfaces y su escalabilidad para ayudar a la comunidad de investigación a superar los cuellos de botella críticos de la memoria en los sistemas de computación modernos.
Este artículo presenta ACD³-GAT, un marco de aprendizaje por refuerzo multiagente de grafos de contratos de seguridad que equilibra eficazmente el rendimiento de la respuesta de seguridad de la red autónoma con estrictas restricciones de presupuesto operativo, reduciendo significativamente las violaciones de tiempo de inactividad y los costos en comparación con los enfoques tradicionales basados únicamente en recompensas en el benchmark CAGE Challenge 4.
Este artículo introduce un cálculo de certificado finito llamado "enmascaramiento corico" para verificar y auditar formalmente la inenlazabilidad de los datos protegidos en sistemas de liberación ambiental mediante el modelado de la indistinguibilidad de trazas como un problema de intersección geométrica dentro de un espacio de medición proyectado, proporcionando así herramientas matemáticas rigurosas para detectar y certificar brechas de privacidad bajo la observación de una audiencia limitada.
Este artículo introduce el marco de Firma Basada en Identidad Jerárquica con Agregador Designado (HIBS-DA, por sus siglas en inglés) y presenta la primera construcción basada en redes que permite a los usuarios en diferentes niveles jerárquicos generar firmas individuales que pueden agregarse en una única firma compacta para reducir los costes de comunicación y verificación manteniendo la seguridad contra la falsificación.