| Learning Functions to Study the Benefit of Multitask Learning | Jun 9, 2020 | Mathematical ProofsSymbolic Regression | —Unverified | 0 |
| AdaSwarm: Augmenting Gradient-Based optimizers in Deep Learning with Swarm Intelligence | May 19, 2020 | Mathematical Proofs | CodeCode Available | 1 |
| Differential Machine Learning | May 5, 2020 | BIG-bench Machine LearningManagement | CodeCode Available | 1 |
| A Critical Overview of Privacy-Preserving Approaches for Collaborative Forecasting | Apr 20, 2020 | Mathematical ProofsPrivacy Preserving | —Unverified | 0 |
| BreastScreening: On the Use of Multi-Modality in Medical Imaging Diagnosis | Apr 7, 2020 | 3D Medical Imaging SegmentationAutomatic Machine Learning Model Selection | CodeCode Available | 1 |
| Epistemic Phase Transitions in Mathematical Proofs | Mar 31, 2020 | Mathematical ProofsPhilosophy | CodeCode Available | 0 |
| Secure multiparty computations in floating-point arithmetic | Jan 9, 2020 | AllMathematical Proofs | —Unverified | 0 |
| SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics | Jul 9, 2019 | Mathematical ProofsMathematical Reasoning | —Unverified | 0 |
| Learning to Prove Theorems via Interacting with Proof Assistants | May 21, 2019 | Automated Theorem ProvingMathematical Proofs | CodeCode Available | 0 |
| α-Rank: Multi-Agent Evaluation by Evolution | Mar 4, 2019 | Mathematical ProofsMuJoCo | CodeCode Available | 0 |
| Solving constraint-satisfaction problems with distributed neocortical-like neuronal networks | Jan 14, 2018 | Decision MakingMathematical Proofs | —Unverified | 0 |
| Interleaver Design for Deep Neural Networks | Nov 18, 2017 | Mathematical Proofs | —Unverified | 0 |
| A Unified Parallel Algorithm for Regularized Group PLS Scalable to Big Data | Feb 23, 2017 | Mathematical Proofs | CodeCode Available | 0 |
| Investor's sentiment in multi-agent model of the continuous double auction | Feb 17, 2016 | Mathematical Proofs | —Unverified | 0 |
| Premise Selection for Mathematics by Corpus Analysis and Kernel Methods | Aug 17, 2011 | Mathematical Proofs | CodeCode Available | 0 |
