The LLM Evaluation Framework

Probabilistic time series modeling in Python

The Z3 Theorem Prover

A toolkit for SAT-based prototyping in Python

The official implementation of the Molecule Attention Transformer.

Advanced Functional Programming course materials, MIMUW 2019/20

RefineNet: Multi-Path Refinement Networks for High-Resolution Semantic Segmentation

RefineNet: a Keras implementation

Pytorch Implementation of Refinenet

Keras implementation of https://arxiv.org/abs/1611.06612

a tensorflow implement of refinenet ,RefineNet: Multi-Path Refinement Networks for High-Resolution Semantic Segmentation

Programming Languages and Paradigms course @ University of Warsaw