output
20142024
most citedRepairing and Mechanising the JavaScript Relaxed Memory Model

19 citations

researchers with a paper here
collaborating institutions
Showing math.STShow all

2 papers · 1 filter

math.ST2017★ 6 cited

Optimization by gradient boosting

Gérard Biau, Benoît Cadre

Gradient boosting is a state-of-the-art prediction technique that sequentially produces a model in the form of linear combinations of simple predictors---typically decision trees--…

math.ST2014

Cox process functional learning

Gérard Biau, Benoît Cadre, Quentin Paris

This article addresses the problem of functional supervised classification of Cox process trajectories, whose random intensity is driven by some exogenous random covariable. The cl…