conftrace_

piecewise continuous function

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

weakest pre-expectation (1) loop invariant (1) invariant synthesis (1) optimization oracle (1) generalized bracketing number (1) probabilistic program (1) invariant learning (1) regret bound (1) smoothed online learning (1) probabilistic programming (1)

Papers

Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract) IJCAI 2023 Oracle-Efficient Smoothed Online Learning for Piecewise Continuous Decision Making COLT 2023