Jan Hůla
- BenCzechMark : A Czech-centric Multitask and Multimetric Benchmark for Large Language Models with Duel Scoring Mechanism
2024/12/23 by Martin Fajčík, Fajcik, Martin, Martin Dočekal +33 · 7 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling
- Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
2024/08/27 by Jan Hůla, David Mojžíšek, Hůla, Jan +3 · 1 citation
Computer Science · #Formal Methods in Verification #Machine Learning and Data Classification #Machine Learning and Algorithms