Skip to content
@laigroup

Logical AI Group

A research group in Jilin University

Popular repositories Loading

  1. PBCounter PBCounter Public

    Weighted Model Counting on Pseudo-Boolean Constraints.

    C++ 9

  2. K-VRD K-VRD Public

    Knowledge Enhanced Zero-Shot Visual Relationship Detection

    Python 9 1

  3. PBEncoder PBEncoder Public

    Encode Pseudo-Boolean to CNF

    C++ 3

  4. EDA_Sampling EDA_Sampling Public

    C 1

  5. PSE PSE Public

    Scalable Precise Computation of Shannon Entropy

    C++ 1

  6. GroupPhotos GroupPhotos Public

Repositories

Showing 7 of 7 repositories

Top languages

Loading…

Most used topics

Loading…