conftrace_

linear arithmetic

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (3) satisfiability modulo theories (2) implicit learning (1) constraint learning (1) numerical reasoning (1) runtime monitoring (1) polynomial arithmetic (1) pac semantics (1) polynomial-time learning (1) quantifier elimination (1)

Papers

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization AAAI 2025 Monitoring Arithmetic Temporal Properties on Finite Traces AAAI 2023 Relational Program Synthesis with Numerical Reasoning AAAI 2023 Learning Implicitly with Noisy Data in Linear Arithmetic IJCAI 2021 Learning SMT(LRA) Constraints using SMT Solvers IJCAI 2018