16 citations
2 papers
cs.LG2021★ 16 cited
Goal-Aware Neural SAT Solver
Emils Ozolins, Karlis Freivalds, Andis Draguns +3
Modern neural networks obtain information about the problem and calculate the output solely from the input values. We argue that it is not always optimal, and the network's perform…
cs.LG2020
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…