conftrace_

program graph

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

data flow analysis (1) semantic compositionality (1) compiler optimization (1) program representation (1) heterogeneous graph (1) table understanding (1) graph representation (1) fact verification (1) symbolic reasoning (1)

Papers

ProGraML: A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations ICML 2021 Learn to Combine Linguistic and Symbolic Information for Table-based Fact Verification COLING 2020