| Automatized Evaluation of Formalization Exercises in Mathematics | Jun 2, 2020 | MathSentence | —Unverified | 0 |
| Entropy Martingale Optimal Transport and Nonlinear Pricing-Hedging Duality | May 26, 2020 | Math | —Unverified | 0 |
| AutoMSC: Automatic Assignment of Mathematics Subject Classification Labels | May 25, 2020 | ArticlesClassification | CodeCode Available | 0 |
| Classification and Clustering of arXiv Documents, Sections, and Abstracts, Comparing Encodings of Natural and Mathematical Language | May 22, 2020 | ClassificationClustering | —Unverified | 0 |
| Misplaced Trust: Measuring the Interference of Machine Learning in Human Decision-Making | May 22, 2020 | BIG-bench Machine LearningDecision Making | CodeCode Available | 0 |
| Neural Symbolic Reader: Scalable Integration of Distributed and Symbolic Representations for Reading Comprehension | May 1, 2020 | Data AugmentationMath | —Unverified | 0 |
| A Relation Spectrum Inheriting Taylor Series: Muscle Synergy and Coupling for Hand | Apr 25, 2020 | MathRelation | CodeCode Available | 1 |
| SIPA: A Simple Framework for Efficient Networks | Apr 24, 2020 | Math | CodeCode Available | 1 |
| Integer Quantization for Deep Learning Inference: Principles and Empirical Evaluation | Apr 20, 2020 | Deep LearningMath | CodeCode Available | 0 |
| StereoSet: Measuring stereotypical bias in pretrained language models | Apr 20, 2020 | Bias DetectionMath | CodeCode Available | 1 |
