Formal Methods

Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning ACL 2021 Neural Circuit Synthesis from Specification Patterns NeurIPS 2021 Neural Unification for Logic Reasoning over Natural Language EMNLP 2021 On-the-fly Synthesis for LTL over Finite Traces AAAI 2021 Parameterized Logical Theories AAAI 2021 Politeness for the Theory of Algebraic Datatypes (Extended Abstract) IJCAI 2021 Program Synthesis as Dependency Quantified Formula Modulo Theory IJCAI 2021 Quantification of Resource Production Incompleteness AAAI 2021 Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks – A Complexity Analysis AAAI 2021 SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021 Stratified Negation in Datalog with Metric Temporal Operators AAAI 2021 Successor-Invariant First-Order Logic on Classes of Bounded Degree (Extended Abstract) IJCAI 2021 Tango: Declarative Semantics for Multiagent Communication Protocols IJCAI 2021 Teaching Temporal Logics to Neural Networks ICLR 2021 Verifiable Machine Ethics in Changing Contexts AAAI 2021 Abstract Interpretation of Decision Tree Ensemble Classifiers AAAI 2020 A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) IJCAI 2020 A Formal Hierarchy of RNN Architectures ACL 2020 A Framework for Measuring Information Asymmetry AAAI 2020 An Operational Semantics for True Concurrency in BDI Agent Systems AAAI 2020 A Practical Approach to Forgetting in Description Logics with Nominals AAAI 2020 Aragog: Scalable Runtime Verification of Shardable Networked Systems OSDI 2020 A Simpler and Faster NIC Driver Model for Network Functions OSDI 2020 Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020 Check before You Change: Preventing Correlated Failures in Service Updates NSDI 2020