activity
20142023
most citedProvably Robust Deep Learning via Adversarially Trained Smoothed Classifiers

261 citations · 1.1k across the 24 of their papers we have counts for

collaborators
Showing 2014 · cs.LOShow all

1 paper · 2 filters

cs.LO2014

Computabilities of Validity and Satisfiability in Probability Logics over Finite and Countable Models

Greg Yang

The -logic (which is called E-logic in this paper) of Kuyper and Terwijn is a variant of first order logic with the same syntax, in which the models are equipped with probabi…