33 citations · 40 across the 5 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…
Advances in MetaDL: AAAI 2021 challenge and workshop
Adrian El Baz, Isabelle Guyon, Zhengying Liu +3
To stimulate advances in metalearning using deep learning techniques (MetaDL), we organized in 2021 a challenge and an associated workshop. This paper presents the design of the ch…
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…