Informática - Computación simbólica

Una inmersión profunda en el papel de las funciones simétricas sobre campos finitos.

Investigando nuevos métodos para mejorar generadores seudorandom para una mejor eficiencia de algoritmos.

Una mirada a cómo determinamos los valores de los parámetros en ecuaciones diferenciales.

Aprende cómo hacer que los parámetros sean identificables en modelos de EDO.

Una mirada al papel de los circuitos cuánticos en la computación y las perspectivas futuras.

Explora las propiedades únicas y aplicaciones de las superficies elípticas en matemáticas.

Las bases de Grobner simplifican los cálculos para resolver ecuaciones polinómicas, afectando campos como la criptografía.

CGPO mejora la toma de decisiones en situaciones inciertas con acciones mixtas.

Explora soluciones para que los agentes se muevan por espacios compartidos sin chocar.

Evaluando las habilidades de razonamiento de los LLMs a través del benchmark ARC.

Este método mejora el seguimiento de soluciones en sistemas de ecuaciones que cambian.

Un nuevo algoritmo mejora la computación de ecuaciones polinómicas usando bases de Gröbner y elevación de Hensel.

Conoce WebPie, un lenguaje sencillo que usa tipos dependientes para programar de forma segura.

Explorando el papel de la IA en la creación de música a través de técnicas y estructuras avanzadas.

Explorando la división total en estructuras matemáticas y sus implicaciones.

Un nuevo método mejora las técnicas de regularización DAE para una mejor eficiencia y precisión.

Presentando nuevos métodos para mejorar la estimación de flujo óptico usando cámaras basadas en eventos.

Un nuevo enfoque mejora la evaluación de relaciones dinámicas usando redes de Petri.

Este documento presenta un nuevo dominio sub-poliédrico para optimizar compiladores de machine learning.

AutoLINC automatiza el diseño de funciones de pérdida para manejar mejor el desbalance de clases en el aprendizaje automático.

Un nuevo método para mejorar los modelos predictivos usando datos inciertos.

Una mirada clara a las reacciones químicas y sus simulaciones, desde lo básico hasta las aplicaciones.

Combinar NIDS con IA Neurrosimbólica mejora la detección de amenazas y la comprensión del sistema.

Un enfoque nuevo para la IA combina modelos de lenguaje con programas simbólicos para una mejor interpretabilidad.

Este artículo presenta un método para certificar la viabilidad en la programación semidefinida.

Nuevos modelos de IA mejoran las habilidades de razonamiento utilizando rompecabezas visuales.

Examinando la seguridad de SHA-256 y las técnicas recientes de búsqueda de colisiones.

N nuevos métodos híbridos mejoran la eficiencia en la factorización de enteros para criptografía.

Differentiable Tree Experts mejora las operaciones de árboles en inteligencia artificial.

Una mirada a las técnicas para contar gráficos regulares y sus aplicaciones.

FEAS mejora la demostración automática de teoremas para ecuaciones funcionales usando nuevas estrategias.

Explorando relaciones complejas en ecuaciones lineales dentro de grupos abelianos por cíclicos.

CTSLAM mejora la localización y mapeo robótico usando integración de datos flexible.

La investigación resalta métodos para mantener la consistencia del diálogo en conversaciones relacionadas con restaurantes.

Nuevo método mejora la precisión de clasificación y adaptabilidad mediante la detección de errores.

Descubriendo conexiones entre grupos de reflexión complejos y ecuaciones diferenciales lineales.

Los avances recientes en la Eliminación de Cuantificadores Reales y CAD mejoran la eficiencia en la resolución de problemas en matemáticas.

Aprende cómo las matemáticas ayudan a entender las reacciones químicas y sus interacciones.

Una mirada a cómo manejar polinomios con las características y desafíos de Lean.

Un nuevo enfoque para predecir eventos usando reglas causales dinámicas y contextos de doble historia.