Supplementary for Symbol-LLM: Leverage Language Models for Symbolic System in Visual Human Activity Reasoning

Shanghai Jiao Tong University Shanghai Jiao Tong University enlighten@sjtu.edu.cn In Tab. 1, we conclude the notations in this work for clarity. The size of the premise symbols set M. Logic AND. S is the symbol set, and R is the rule set. A\B The set difference of A and B. D A very large-scale activity images database. A The activity set contains multiple activity classes. A = {A} C The conclusion set contains multiple conclusions. A and C is equivalent. The premise symbols set for activity A. It is implied from an LLM. e The entailment score of a rule. The entailment score threshold to accept/reject a rule.