Views
No views yet
ltl: Linear Temporal Logic taskprop: Propositional Logic taskablation: All ablation models presented in the appendixconverted: Results of model conversion & fine-tuning experiments in Section 5.8generalization: Main experimental results in Figure 2table: Experiments with reduced & renamed datasets (Table 1)