184 citations · 196 across the 11 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CL2023★ 1 cited
Benchmarking Multilabel Topic Classification in the Kyrgyz Language
Anton Alekseev, Sergey I. Nikolenko, Gulnara Kabaeva
Kyrgyz is a very underrepresented language in terms of modern natural language processing resources. In this work, we present a new public benchmark for topic classification in Kyr…
cs.AI2023
Machine Learning for SAT: Restricted Heuristics and New Graph Representations
Mikhail Shirokikh, Ilya Shenbin, Anton Alekseev +1
Boolean satisfiability (SAT) is a fundamental NP-complete problem with many applications, including automated planning and scheduling. To solve large instances, SAT solvers have to…