Quantitative program analysis is an emerging area with applications to software reliability, quantitative information flow, side-channel detection and attack synthesis. Most quantitative program ...

This paper presents a method for mapping pattern masks to coding sequences using a convolutional neural network (CNN). To assess the feasibility of this approach, we generated a dataset based on a ...

Rankify is a Python toolkit designed for unified retrieval, re-ranking, and retrieval-augmented generation (RAG) research. Our toolkit integrates 40 pre-retrieved benchmark datasets and supports 7 ...