| Lectures on Jacques Herbrand as a Logician | Feb 26, 2009 | Automated Theorem ProvingFormal Logic | CodeCode Available | 0 | 5 |
| Context-Aware Prediction of Derivational Word-forms | Feb 22, 2017 | DecoderForm | CodeCode Available | 0 | 5 |
| Data-driven input reconstruction and experimental validation | Mar 5, 2022 | LEMMAUIE | CodeCode Available | 0 | 5 |
| Benchmarking optimality of time series classification methods in distinguishing diffusions | Jan 30, 2023 | BenchmarkingGaussian Processes | CodeCode Available | 0 | 5 |
| A Unified Confidence Sequence for Generalized Linear Models, with Applications to Bandits | Jul 19, 2024 | LEMMA | CodeCode Available | 0 | 5 |
| A Unifying Post-Processing Framework for Multi-Objective Learn-to-Defer Problems | Jul 17, 2024 | FairnessLEMMA | CodeCode Available | 0 | 5 |
| Certifying Confidence via Randomized Smoothing | Sep 17, 2020 | LEMMAPrediction | CodeCode Available | 0 | 5 |
| A Random Matrix Approach to Neural Networks | Feb 17, 2017 | LEMMA | CodeCode Available | 0 | 5 |
| Bayes-Optimal Fair Classification with Linear Disparity Constraints via Pre-, In-, and Post-processing | Feb 5, 2024 | AttributeClassification | CodeCode Available | 0 | 5 |
| Stein's Lemma for the Reparameterization Trick with Exponential Family Mixtures | Oct 29, 2019 | LEMMA | CodeCode Available | 0 | 5 |
