Search Results for author:
Found 2 papers, 0 papers with code
Recalibrating classifiers for interpretable abusive content detection
We investigate the use of machine learning classifiers for detecting online abuse in empirical research.
A Lambda-Calculus Foundation for Universal Probabilistic Programming
Our second contribution is to formalize the implementation technique of trace Markov chain Monte Carlo (MCMC) for our calculus and to show its correctness.
Programming Languages
Cannot find the paper you are looking for? You can
Submit a new open access paper.
