Differentiable Inference of Temporal Logic Formulas

Re-assign community