| A Swarm Variant for the Schrödinger Solver | Apr 10, 2021 | Mathematical Proofs | —Unverified | 0 |
| Theory-guided hard constraint projection (HCP): a knowledge-based data-driven scientific machine learning method | Dec 11, 2020 | BIG-bench Machine LearningMathematical Proofs | CodeCode Available | 1 |
| Bio-plausible Unsupervised Delay Learning for Extracting Temporal Features in Spiking Neural Networks | Nov 18, 2020 | Mathematical Proofs | —Unverified | 0 |
| AGI Agent Safety by Iteratively Improving the Utility Function | Jul 10, 2020 | Mathematical Proofs | —Unverified | 0 |
| IsarStep: a Benchmark for High-level Mathematical Reasoning | Jun 13, 2020 | Mathematical ProofsMathematical Reasoning | CodeCode Available | 1 |
| 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 |
