luoweilinwillam Goto Github PK

aaltaf

SAT-based LTLf Satisfiability Checker

bayesltl

Bayesian inference of linear temporal logic (LTL) specifications to explain differences across two sets of traces

benchmarks

Repository of benchmarks for SYNTCOMP

blink

Entity Linker solution

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

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

coapi

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

dagnn

A graph neural network tailored to directed acyclic graphs that outperforms conventional GNNs by leveraging the partial order as strong inductive bias besides other suitable architectural features.

event_chain

lensr

lime-experiments

Code for all experiments.

ltlfnet

IJCAI22

luoweilin.github.io

mepk

A General Multi-agent Epistemic Planner Based on Higher-order Belief Change

minisat

A minimalistic and high-performance SAT solver

ms-gsp

MS - GSP (Minimum Support - Generalized Sequential Pattern) Mining Algorithm Implementation

pysimpleautomata

Academic Python Library to manage DFA, NFA and AFW automata.

samples2ltl

A tool for obtaining LTL formulas from a sample of positive and negative words.

satfta

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

swagaf

Repository for paper "SWAG: A Large-Scale Adversarial Dataset for Grounded Commonsense Inference"

synsetmine-pytorch

PyTorch implementation of paper "Mining Entity Synonyms with Efficient Neural Set Generation" in AAAI 2019