Skip to content

@sysulic SYSU LIC Group

Change the repository type filter

All

    Repositories list

    29 repositories

    • ABS

      Public
      C++
      •0•0•0•0•Updated Dec 20, 2024Dec 20, 2024

    • VSCNet

      Public
      Learning to SAT-verifiably Check LTL Satisfiability via Differentiable Trace Checking
      Python
      •0•0•0•0•Updated Jul 7, 2024Jul 7, 2024

    • QPEN

      Public
      Python
      •
      Apache License 2.0
      •2•1•1•0•Updated May 25, 2024May 25, 2024

    • OSUG

      Public
      The code for ##SAT-verifiable LTL Satisfiability Checking via Graph Representation Learning##
      Python
      •0•0•0•0•Updated May 17, 2024May 17, 2024

    • ITG

      Public
      Project of ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking
      Python
      •0•1•0•0•Updated Nov 27, 2023Nov 27, 2023

    • AVS

      Public
      Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning
      Python
      •
      MIT License
      •1•3•0•0•Updated Nov 19, 2023Nov 19, 2023

    • EPK

      Public
      A complete epistemic planner without the epistemic closed world assumption
      epistemic-logicplanner
      C++
      •2•3•1•0•Updated May 25, 2023May 25, 2023

    • trac

      Public
      Exploring the Capacity of Pretrained Language Models for Reasoning about Actions and Change
      Python
      •
      Other
      •1•2•0•0•Updated May 19, 2023May 19, 2023

    • FL-MSRE

      Public
      A Few-Shot Learning based Approach to Multimodal Social Relation Extraction
      Python
      •3•13•2•0•Updated Jan 17, 2023Jan 17, 2023

    • LogicNMR

      Public
      0•1•0•0•Updated Oct 24, 2022Oct 24, 2022

    • DSET

      Public
      Java
      •1•2•0•0•Updated May 1, 2022May 1, 2022

    • LTLfNet

      Public
      IJCAI22
      Python
      •2•1•0•0•Updated Apr 25, 2022Apr 25, 2022

    • Bridging-LTLf-Inference-to-GNN-Inference-for-Learning-LTLf-Formulae

      Public
      Supplement for Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae
      Python
      •3•1•0•0•Updated Dec 10, 2021Dec 10, 2021

    • MDGI

      Public
      The source code and data for ACL2021 Findings paper: Enhancing Metaphor Detection by Gloss-based Interpretations
      Python
      •
      MIT License
      •2•7•1•0•Updated Oct 30, 2021Oct 30, 2021

    • MEPK

      Public
      A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
      plannerepistemic-logic
      C++
      •5•11•0•0•Updated Sep 10, 2021Sep 10, 2021

    • CoAPI

      Public
      CoAPI for computing MCSs and prime compilation is published in ICCAD21.
      Python
      •1•0•0•0•Updated Jul 30, 2021Jul 30, 2021

    • ccg2lambda

      Public
      Provide Semantic Parsing solutions and Natural Language Inferences for multiple languages following the idea of the syntax-semantics interface.
      Python
      •
      Apache License 2.0
      •63•0•0•0•Updated Jul 7, 2021Jul 7, 2021

    • DQN-FV

      Public
      Source code and data for the ACL 2021 paper “A DQN-based Approach to Finding Precise Evidences for Fact Verification“.
      Python
      •1•6•0•0•Updated Jun 1, 2021Jun 1, 2021

    • SatFTA

      Public
      An SAT-based tool to compute minimal cut set (MCSs) in fault tree analysis (FTA).
      Python
      •2•0•0•0•Updated Dec 18, 2020Dec 18, 2020

    • TAS-BERT

      Public
      Source code and data for 《Target-Aspect-SentimentJointDetectionforAspect-BasedSentimentAnalysis 》
      Python
      •7•44•5•0•Updated Aug 27, 2020Aug 27, 2020

    • GNTGDs

      Public
      GNTGDs, Code and experimental datasets of AAAI2020
      Python
      •0•0•0•0•Updated May 12, 2020May 12, 2020

    • MethodRefine

      Public
      Refining HTN Methods via Task Insertion with Preferences
      Python
      •2•5•0•1•Updated May 1, 2020May 1, 2020

    • IVRDC

      Public
      Iterative Visual Relationship Detection via Commonsense Knowledge Graph
      Jupyter Notebook
      •1•4•1•0•Updated Jan 31, 2020Jan 31, 2020

    • sysulic.github.io

      Public
      Website of LIC group.
      0•0•0•0•Updated Jan 13, 2019Jan 13, 2019

    • T2LP

      Public
      A prototype solver for first-order ASP
      C++
      •0•0•0•0•Updated Dec 31, 2018Dec 31, 2018

    • RLSV

      Public
      RLSV: Representation Learning via Jointly Structural and Visual Embedding
      0•1•1•0•Updated Jul 9, 2018Jul 9, 2018

    • z3

      Public
      The Z3 Theorem Prover
      C++
      •
      Other
      •1.5k•0•0•0•Updated May 1, 2018May 1, 2018

    • LIC-Wiki

      Public
      Wiki of LIC group
      0•0•0•0•Updated Apr 11, 2018Apr 11, 2018

    • cudd

      Public
      CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •65•4•0•0•Updated Jan 20, 2016Jan 20, 2016