5 papers
Denoising Diffusion for Sampling SAT Solutions
Karlis Freivalds, Sergejs Kozlovics
Generating diverse solutions to the Boolean Satisfiability Problem (SAT) is a hard computational problem with practical applications for testing and functional verification of soft…
Matrix Shuffle-Exchange Networks for Hard 2D Tasks
Emīls Ozoliņš, Kārlis Freivalds, Agris Šostaks
Convolutional neural networks have become the main tools for processing two-dimensional data. They work well for images, yet convolutions have a limited receptive field that preven…
Residual Shuffle-Exchange Networks for Fast Processing of Long Sequences
Andis Draguns, Emīls Ozoliņš, Agris Šostaks +2
Attention is a commonly used mechanism in sequence processing, but it is of O(n^2) complexity which prevents its application to long sequences. The recently introduced neural Shuff…
Graph Compact Orthogonal Layout Algorithm
Karlis Freivalds, Jans Glagolevs
There exist many orthogonal graph drawing algorithms that minimize edge crossings or edge bends, however they produce unsatisfactory drawings in many practical cases. In this paper…
A Statistical Method for Object Counting
Jans Glagolevs, Karlis Freivalds
In this paper we present a new object counting method that is intended for counting similarly sized and mostly round objects. Unlike many other algorithms of the same purpose, the…