Geometric Reasoning in the Embedding Space.
CoRR, April, 2025
Neural Approaches to SAT Solving: Design Choices and Interpretability.
CoRR, April, 2025
A machine learning approach to rank pricing problems in branch-and-price.
Eur. J. Oper. Res., 2025
BenCzechMark : A Czech-centric Multitask and Multimetric Benchmark for Large Language Models with Duel Scoring Mechanism.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
Stealing Brains: From English to Czech Language Model.
Proceedings of the 16th International Joint Conference on Computational Intelligence, 2024
Efficient Solver Scheduling and Selection for Satisfiability Modulo Theories (SMT) Problems.
Proceedings of the 13th International Conference on Pattern Recognition Applications and Methods, 2024
Efficient Use of Large Language Models for Analysis of Text Corpora.
Proceedings of the 13th International Conference on Pattern Recognition Applications and Methods, 2024
Towards an Understanding of Stepwise Inference in Transformers: A Synthetic Graph Navigation Model.
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Understanding GNNs for Boolean Satisfiability through Approximation Algorithms.
Proceedings of the 33rd ACM International Conference on Information and Knowledge Management, 2024
Molecule Builder: Environment for Testing Reinforcement Learning Agents.
Proceedings of the 15th International Joint Conference on Computational Intelligence, 2023
Fast Heuristic for Ricochet Robots.
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023
Binary cross-entropy with dynamical clipping.
Neural Comput. Appl., 2022
Poly-YOLO: higher speed, more precise detection and instance segmentation for YOLOv3.
Neural Comput. Appl., 2022
Targeted Configuration of an SMT Solver.
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022
Image Classifier with Dynamic Set of Known Classes.
Proceedings of the 22nd Conference Information Technologies, 2022
Analysis of the Semantic Vector Space Induced by a Neural Language Model and a Corpus.
Proceedings of the 22nd Conference Information Technologies, 2022
3D Shapes Classification Using Intermediate Parts Representation.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2022
Segmenting out Generic Objects in Monocular Videos.
Proceedings of the 21st Conference Information Technologies, 2021
Graph Neural Networks for Scheduling of SMT Solvers.
Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021
Data Preprocessing Technique for Neural Networks Based on Image Represented by a Fuzzy Function.
IEEE Trans. Fuzzy Syst., 2020
Keypoints Selection Using Evolutionary Algorithms.
Proceedings of the 20th Conference Information Technologies, 2020
Acquiring Custom OCR System with Minimal Manual Annotation.
Proceedings of the IEEE Third International Conference on Data Stream Mining, Processing, 2020
Unsupervised Object-aware Learning from Videos.
Proceedings of the IEEE Third International Conference on Data Stream Mining, Processing, 2020
The Development of Context Specificity of Lemma. A Word Embeddings Approach.
J. Quant. Linguistics, 2019
Context Specificity of Lemma. Diachronic Analysis.
Glottometrics, 2019
Identifying collaborators in large codebases.
CoRR, 2019
Can You Tell Me How to Get Past Sesame Street? Sentence-Level Pretraining Beyond Language Modeling.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 57th Conference of the Association for Computational Linguistics, 2019
Looking for ELMo's friends: Sentence-Level Pretraining Beyond Language Modeling.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2018
Towards Visual Training Set Generation Framework.
Proceedings of the Advances in Computational Intelligence, 2017