SYSU LIC Group
Logic, Intelligence and Computation Group at Sun Yat-sen University
- 8 followers
- Outer Ring East Road No.276 Panyu, Guangzhou
Pinned Loading
Repositories
Showing 10 of 33 repositories
- LTRAG Public
sysulic/LTRAG’s past year of commit activity - NADA Public
sysulic/NADA’s past year of commit activity - ABS Public
sysulic/ABS’s past year of commit activity - QPEN Public
sysulic/QPEN’s past year of commit activity - OSUG Public
The code for ##SAT-verifiable LTL Satisfiability Checking via Graph Representation Learning##
sysulic/OSUG’s past year of commit activity - LOGION-SWLS-TBC-LISF Public
Implementation code for paper “Goal-conflict Identification Based on Local Search and Fast Boundary-condition Verification Based on Incremental Satisfiability Filter” in JSS
sysulic/LOGION-SWLS-TBC-LISF’s past year of commit activity - ITG Public
Project of ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking
sysulic/ITG’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…