Skip to content
conftrace_

formula learning

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

temporal logic (3) graph neural network (2) constraint satisfaction (2) positive negative example (1) graph pruning (1) neural network (1) boolean formula (1) faithful encoding (1) temporal property (1) linear temporal logic on finite trace (1)

Papers

Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae AAAI 2024 End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding AAAI 2024 Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets AISTATS 2024 Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae AAAI 2022 Learning Interpretable Models in the Property Specification Language IJCAI 2020