SYSU LIC Group
Logic, Intelligence and Computation Group at Sun Yat-sen University
Outer Ring East Road No.276 Panyu, Guangzhou
Pinned Repositories
AVS
Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning
cudd
CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/
DQN-FV
Source code and data for the ACL 2021 paper “A DQN-based Approach to Finding Precise Evidences for Fact Verification“.
EPK
A complete epistemic planner without the epistemic closed world assumption
FL-MSRE
A Few-Shot Learning based Approach to Multimodal Social Relation Extraction
IVRDC
Iterative Visual Relationship Detection via Commonsense Knowledge Graph
MDGI
The source code and data for ACL2021 Findings paper: Enhancing Metaphor Detection by Gloss-based Interpretations
MEPK
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
MethodRefine
Refining HTN Methods via Task Insertion with Preferences
TAS-BERT
Source code and data for 《Target-Aspect-SentimentJointDetectionforAspect-BasedSentimentAnalysis 》
SYSU LIC Group's Repositories
sysulic/TAS-BERT
Source code and data for 《Target-Aspect-SentimentJointDetectionforAspect-BasedSentimentAnalysis 》
sysulic/FL-MSRE
A Few-Shot Learning based Approach to Multimodal Social Relation Extraction
sysulic/MEPK
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
sysulic/MDGI
The source code and data for ACL2021 Findings paper: Enhancing Metaphor Detection by Gloss-based Interpretations
sysulic/DQN-FV
Source code and data for the ACL 2021 paper “A DQN-based Approach to Finding Precise Evidences for Fact Verification“.
sysulic/MethodRefine
Refining HTN Methods via Task Insertion with Preferences
sysulic/cudd
CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/
sysulic/IVRDC
Iterative Visual Relationship Detection via Commonsense Knowledge Graph
sysulic/AVS
Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning
sysulic/EPK
A complete epistemic planner without the epistemic closed world assumption
sysulic/Bridging-LTLf-Inference-to-GNN-Inference-for-Learning-LTLf-Formulae
Supplement for Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae
sysulic/DSET
sysulic/ITG
Project of ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking
sysulic/LogicNMR
sysulic/LTLfNet
IJCAI22
sysulic/QPEN
sysulic/RLSV
RLSV: Representation Learning via Jointly Structural and Visual Embedding
sysulic/trac
Exploring the Capacity of Pretrained Language Models for Reasoning about Actions and Change
sysulic/ccg2lambda
Provide Semantic Parsing solutions and Natural Language Inferences for multiple languages following the idea of the syntax-semantics interface.
sysulic/CoAPI
CoAPI for computing MCSs and prime compilation is published in ICCAD21.
sysulic/GNTGDs
GNTGDs, Code and experimental datasets of AAAI2020
sysulic/LIC-Wiki
Wiki of LIC group
sysulic/OSUG
The code for ##SAT-verifiable LTL Satisfiability Checking via Graph Representation Learning##
sysulic/SatFTA
An SAT-based tool to compute minimal cut set (MCSs) in fault tree analysis (FTA).
sysulic/sysulic.github.io
Website of LIC group.
sysulic/T2LP
A prototype solver for first-order ASP
sysulic/VSCNet
Learning to SAT-verifiably Check LTL Satisfiability via Differentiable Trace Checking
sysulic/z3
The Z3 Theorem Prover