33 citations · 56 across the 7 of their papers we have counts for
4 papers · 1 filter
Learning to Prove Trigonometric Identities
Zhou Liu, Yujun Li, Zhengying Liu +2
Automatic theorem proving with deep learning methods has attracted attentions recently. In this paper, we construct an automatic proof system for trigonometric identities. We defin…
Lessons learned from the NeurIPS 2021 MetaDL challenge: Backbone fine-tuning without episodic meta-learning dominates for few-shot learning image classification
Adrian El Baz, Ihsan Ullah, Edesio Alcobaça +17
Although deep neural networks are capable of achieving performance superior to humans on various tasks, they are notorious for requiring large amounts of data and computing resourc…
Winning solutions and post-challenge analyses of the ChaLearn AutoDL challenge 2019
Zhengying Liu, Adrien Pavao, Zhen Xu +22
This paper reports the results and post-challenge analyses of ChaLearn's AutoDL challenge series, which helped sorting out a profusion of AutoML solutions for Deep Learning (DL) th…
AgEBO-Tabular: Joint Neural Architecture and Hyperparameter Search with Autotuned Data-Parallel Training for Tabular Data
Romain Egele, Prasanna Balaprakash, Venkatram Vishwanath +2
Developing high-performing predictive models for large tabular data sets is a challenging task. The state-of-the-art methods are based on expert-developed model ensembles from diff…