Logical AI Group

A research group in Jilin University

Changchun, China

Pinned Repositories

PBCounter
Weighted Model Counting on Pseudo-Boolean Constraints.
Language:C++80
K-VRD
Knowledge Enhanced Zero-Shot Visual Relationship Detection
Language:Python71
PBEncoder
Encode Pseudo-Boolean to CNF
Language:C++30

Logical AI Group's Repositories

laigroup/K-VRD
Knowledge Enhanced Zero-Shot Visual Relationship Detection
Language:Python71
laigroup/PBCounter
Weighted Model Counting on Pseudo-Boolean Constraints.
Language:C++8
laigroup/PBEncoder
Encode Pseudo-Boolean to CNF
Language:C++3