GDL & PL4XGL — Explainable Graph Learning
6 problems
GDL / PL4XGL
Scalable PL4XGL
대규모 그래프를 위한 확장 가능한 PL4XGL
PL4XGL은 GDL program 기반의 symbolic, inherently interpretable 그래프 학습 기법이나, HIV(41K 분자)에서 training timeout, Pubmed에서 170× 느린 classification 등 심각한 확장성 문제를 가진다.
scalability
program synthesis
subgraph isomorphism
Read more →
GDL / PL4XGL
Transductive PL4XGL
트랜스덕티브 그래프 학습을 위한 PL4XGL
PL4XGL은 본질적으로 inductive 방식으로 설계되어, transductive 설정에서 GCN 대비 10~15%p 낮은 정확도를 보인다. GDL을 homophily/aggregate 술어로 확장하고 label propagation을 통합한다.
transductive learning
label propagation
homophily
Read more →
GDL / PL4XGL
Interpretable Graph Classification
해석 가능한 그래프 분류 (ProgNet)
GDL program 기반의 shared vocabulary와 decomposable evidence composition network로 GNN 수준의 정확도와 faithful한 설명을 동시에 달성하는 ProgNet 프레임워크.
interpretability
graph classification
vocabulary learning
Read more →
GDL / PL4XGL
GDL-Based Embeddings for NN
GDL Program 기반 임베딩과 신경망
GDL program 집합을 feature 추출기로 사용하여 해석 가능한 embedding을 생성하고, 이 embedding 위에서 표준 NN으로 대규모 그래프 학습을 수행한다.
embedding
scalability
transfer learning
Read more →
GDL / PL4XGL
GDL-Based GNN Explanation
GDL 기반 GNN 설명 기법
Subgraph 대신 GDL program을 설명 단위로 사용하여 interval-aware, dataset-level 재사용 가능, model-agnostic한 GNN 설명 프레임워크를 개발한다.
GNN explanation
faithfulness
model-agnostic
Read more →
GDL / PL4XGL
Graph Data Mining with GDL
GDL 기반 그래프 데이터마이닝
GDL을 패턴 언어로 사용하여 interval-aware 패턴을 자동으로 발견하는 마이닝 프레임워크. 구조 중심 mining과 제약 기반 mining의 교차점을 메운다.
pattern mining
frequent subgraph
interval predicates
Read more →
Context Tunneling — Precise Program Analysis
3 problems
Context Tunneling
Context Tunneling for Python
Python을 위한 컨텍스트 터널링
Context tunneling을 Python에 확장. 동적 타이핑, first-class 함수, decorator, generator 등 Python 고유 특성에 맞는 context-sensitivity flavor와 atomic feature를 설계한다.
Python
points-to analysis
dynamic language
Read more →
Context Tunneling
Optimal Tunneling Abstraction
주어진 프로그램과 k에 대한 최적 터널링
주어진 프로그램 P와 k에 대해 최적 또는 근-최적 tunneling relation을 효율적으로 찾는 알고리즘. Non-monotonic 공간에서의 최적화 문제를 정면으로 해결한다.
optimality
non-monotonicity
combinatorial optimization
Read more →
Context Tunneling
Simple & Principled Tunneling
단순하고 원칙적인 컨텍스트 터널링
프로그램 분석의 이론적 성질로부터 직접 유도되는 단순한 tunneling 규칙. 한 문장으로 기술, 30줄로 구현, 학습 불필요. 복잡한 data-driven 접근의 대안.
simplicity
principled design
easy-to-implement
Read more →