DeepC4

gophersat, a SAT solver in Go

A pytorch implementation of the paper Unsupervised Deep Embedding for Clustering Analysis.

Papers for Open Knowledge Discovery

[ACL 2024] FollowBench: A Multi-level Fine-grained Constraints Following Benchmark for Large Language Models

[ICLR 2022] The implementation for the paper "Equivariant Graph Mechanics Networks with Constraints".

The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL is a text based language that provides constraint and object query expressions that cannot be expressed by a meta modelling language.

A very simple self-supervised image classification framework!

Generating synthetic mobility data for a realistic population with RNNs to improve utility and privacy

American Community Survey data on people and households

Vaxine provides rich-CRDT features on top of Antidote.