sysulic Goto Github PK

avs

Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning

bridging-ltlf-inference-to-gnn-inference-for-learning-ltlf-formulae

Supplement for Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae

ccg2lambda

Provide Semantic Parsing solutions and Natural Language Inferences for multiple languages following the idea of the syntax-semantics interface.

coapi

CoAPI for computing MCSs and prime compilation is published in ICCAD21.

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“.

dset

epk

A complete epistemic planner without the epistemic closed world assumption

fl-msre

A Few-Shot Learning based Approach to Multimodal Social Relation Extraction

gntgds

GNTGDs, Code and experimental datasets of AAAI2020

itg

Project of ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking

ivrdc

Iterative Visual Relationship Detection via Commonsense Knowledge Graph

lic-wiki

Wiki of LIC group

logicnmr

ltlfnet

IJCAI22

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

osug

The code for ##SAT-verifiable LTL Satisfiability Checking via Graph Representation Learning##

qpen

rlsv

RLSV: Representation Learning via Jointly Structural and Visual Embedding

satfta

An SAT-based tool to compute minimal cut set (MCSs) in fault tree analysis (FTA).

sysulic.github.io

Website of LIC group.

t2lp

A prototype solver for first-order ASP

tas-bert

Source code and data for 《Target-Aspect-SentimentJointDetectionforAspect-BasedSentimentAnalysis 》

trac

Exploring the Capacity of Pretrained Language Models for Reasoning about Actions and Change

vscnet

Learning to SAT-verifiably Check LTL Satisfiability via Differentiable Trace Checking

z3

The Z3 Theorem Prover