Informática - Inteligencia artificial

Una herramienta que utiliza IA para generar afirmaciones de ayuda para la verificación de código Dafny.

Un enfoque eficiente en recursos para ataques de puerta trasera en modelos avanzados de aprendizaje automático.

Aprende cómo combinar diferentes modelos mejora los procesos de toma de decisiones en escenarios complejos.

Aprende cómo la Entropía de Transferencia mejora el entrenamiento y el rendimiento de las Redes Neuronales Convolucionales.

CAASL ayuda a los investigadores a identificar rápidamente las relaciones causales en varios campos.

Zamba es un modelo de lenguaje híbrido que combina arquitecturas de espacio de estados y transformadores.

Una herramienta que ayuda a los usuarios a crear mejores explicaciones para la toma de decisiones de la IA.

Usar vehículos eléctricos para suministrar energía a las estaciones base de telecomunicaciones durante cortes de energía.

Pace adapta los procesos de aprendizaje en tiempo real para un aprendizaje continuo y de por vida.

Un nuevo marco optimiza el uso de modelos de lenguaje grandes de manera eficiente.

Un dispositivo ayuda a enfocarse en voces específicas en lugares concurridos.

Un nuevo método simplifica la creación de cabezas 3D realistas a partir de imágenes casuales.

Nuevo estándar busca mejorar la comprensión de texto e imágenes por parte de la IA.

Esto explora cómo los enfoques probabilísticos mejoran el aprendizaje contrastivo en el aprendizaje automático.

El aprendizaje por imitación ayuda a los robots a moverse mejor en entornos ocupados.

Un nuevo método mejora las recomendaciones de citas locales para investigadores.

Un método que convierte preguntas en lenguaje natural en consultas SQL precisas para bases de datos complejas.

Un nuevo método mejora la edición de audio usando modelos de difusión para cambios precisos.

Entender cómo la personalidad moldea las interacciones con agentes conversacionales en diferentes áreas.

Un nuevo método mejora el aprendizaje automático al mejorar la predicción de movimientos.

Nuevo método reduce las amenazas de backdoor en redes neuronales profundas.

Entrenar modelos de lenguaje de código abierto mejora el modelado de optimización para aplicaciones industriales.

Examinando cómo las herramientas de IA influyen en el aprendizaje de los programadores principiantes.

Un nuevo método mejora la creación de datos sintéticos mientras preserva las relaciones de las tablas.

Este artículo examina las U-Nets y su papel en el procesamiento de imágenes usando modelos generativos.

La IA ayuda a simplificar el diseño de experimentos en la investigación genética para la salud y las enfermedades.

Un nuevo algoritmo mejora la verificación de redes neuronales para su confiabilidad y equidad.

Un nuevo marco mejora la extracción de atributos de productos en el retail de moda.

Este artículo habla sobre nuevos métodos para explicar las decisiones de la IA en la detección de objetos.

AbstractBeam mejora la síntesis de programas, aprovechando la generación de código eficiente a través del Aprendizaje de Bibliotecas.

Investigando los efectos de LoRA en la equidad entre diferentes grupos en el aprendizaje automático.

Nuevos métodos mejoran la detección de muestras atípicas en entornos de datos mixtos.

Un nuevo método reduce el tiempo y el costo en el entrenamiento de modelos de difusión.

Nuevos métodos mejoran la eficiencia de atribución de datos de entrenamiento en modelos de IA.

Un nuevo método permite la transferencia de módulos LoRA con datos sintéticos, minimizando la dependencia de datos originales.

Un nuevo método para analizar redes temporales y su incertidumbre.

Una mirada a los métodos y desafíos para predecir conexiones en redes dinámicas.

DreamMat simplifica la generación de materiales PBR realistas a partir de texto y modelos 3D.

DSAM ofrece una nueva perspectiva sobre la conectividad cerebral utilizando técnicas avanzadas de aprendizaje profundo.

Un modelo simplificado para una navegación efectiva usando instrucciones en lenguaje natural.