← heapsort-ai

JAX

6 items

RESEARCHarXiv CS.AI·hace 1d

Accelerated Fourier SAT (AFSAT): Fully Realising a GPU-based Symmetric Pseudo-Boolean SAT Solver

Accelerated Fourier SAT (AFSAT) es un solucionador acelerado por GPU para la satisfacibilidad pseudo-booleana que emplea búsqueda local continua. Mejora sustancialmente la estabilidad numérica, el rendimiento en tiempo de ejecución y la eficiencia de la memoria sobre su prueba de concepto, utilizando JAX para el procesamiento paralelo y abordando las limitaciones de memoria/punto flotante.

60
DOC↑ trendingReddit r/MachineLearning·4/5/2026

Parax v0.5: Parametric Modeling in JAX [P]

Gary anunció el lanzamiento de Parax v0.5, una biblioteca JAX generalizada para modelado paramétrico, ahora enfocada en una API limpia y extensible y un enfoque opt-in. La actualización introduce características como parámetros derivados/restringidos, PyTrees computados y herramientas de manipulación, con documentación disponible para los usuarios.

42
NEWS↑ trendingReddit r/MachineLearning·9/4/2026

Parax: Parametric Modeling in JAX + Equinox [P]

Gary apresenta Parax, uma nova biblioteca Python construída sobre Equinox e JAX, projetada para aprimorar a modelagem paramétrica com metadados e manipulação de hierarquias de parâmetros profundas. A ferramenta visa oferecer uma abordagem mais orientada a objetos para inspeção e manipulação de modelos em aplicações científicas, mantendo os princípios de imutabilidade do Equinox.

35