| 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 |
| Integer Quantization for Deep Learning Inference: Principles and Empirical Evaluation | Apr 20, 2020 | Deep LearningMath | CodeCode Available | 0 |
| Accurate closed-form solution of the SIR epidemic model | Apr 16, 2020 | FormMath | —Unverified | 0 |
| On Sharpness of Error Bounds for Multivariate Neural Network Approximation | Apr 5, 2020 | Math | —Unverified | 0 |
| Information Token Driven Machine Learning for Electronic Markets: Performance Effects in Behavioral Financial Big Data Analytics | Mar 30, 2020 | BIG-bench Machine LearningMath | —Unverified | 0 |
