Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2205.03960
Cited By
Neural Architecture Search using Property Guided Synthesis
8 May 2022
Charles Jin
P. Phothilimthana
Sudip Roy
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Neural Architecture Search using Property Guided Synthesis"
26 / 26 papers shown
Title
Primer: Searching for Efficient Transformers for Language Modeling
David R. So
Wojciech Mañke
Hanxiao Liu
Zihang Dai
Noam M. Shazeer
Quoc V. Le
VLM
248
156
0
17 Sep 2021
EfficientNetV2: Smaller Models and Faster Training
Mingxing Tan
Quoc V. Le
EgoV
119
2,700
0
01 Apr 2021
Neural Architecture Search as Program Transformation Exploration
Jack Turner
Elliot J. Crowley
Michael F. P. O'Boyle
62
14
0
12 Feb 2021
Equality Saturation for Tensor Graph Superoptimization
Yichen Yang
Mangpo Phitchaya Phothilimtha
Y. Wang
Max Willsey
Sudip Roy
Jacques Pienaar
76
84
0
05 Jan 2021
An Image is Worth 16x16 Words: Transformers for Image Recognition at Scale
Alexey Dosovitskiy
Lucas Beyer
Alexander Kolesnikov
Dirk Weissenborn
Xiaohua Zhai
...
Matthias Minderer
G. Heigold
Sylvain Gelly
Jakob Uszkoreit
N. Houlsby
ViT
632
41,003
0
22 Oct 2020
Transferable Graph Optimizers for ML Compilers
Yanqi Zhou
Sudip Roy
AmirAli Abdolrashidi
Daniel Wong
Peter C. Ma
...
Mangpo Phitchaya Phothilimtha
Shen Wang
Anna Goldie
Azalia Mirhoseini
James Laudon
GNN
47
54
0
21 Oct 2020
Can weight sharing outperform random architecture search? An investigation with TuNAS
Gabriel Bender
Hanxiao Liu
Bo Chen
Grace Chu
Shuyang Cheng
Pieter-Jan Kindermans
Quoc V. Le
OOD
57
122
0
13 Aug 2020
AutoML-Zero: Evolving Machine Learning Algorithms From Scratch
Esteban Real
Chen Liang
David R. So
Quoc V. Le
75
225
0
06 Mar 2020
EfficientNet: Rethinking Model Scaling for Convolutional Neural Networks
Mingxing Tan
Quoc V. Le
3DV
MedIm
137
18,115
0
28 May 2019
Evaluating the Search Phase of Neural Architecture Search
Kaicheng Yu
C. Sciuto
Martin Jaggi
C. Musat
Mathieu Salzmann
51
343
0
21 Feb 2019
Random Search and Reproducibility for Neural Architecture Search
Liam Li
Ameet Talwalkar
OOD
73
724
0
20 Feb 2019
Training Deep Neural Networks with 8-bit Floating Point Numbers
Naigang Wang
Jungwook Choi
D. Brand
Chia-Yu Chen
K. Gopalakrishnan
MQ
62
501
0
19 Dec 2018
Beyond Data and Model Parallelism for Deep Neural Networks
Zhihao Jia
Matei A. Zaharia
A. Aiken
GNN
AI4CE
56
505
0
14 Jul 2018
Scalable Methods for 8-bit Training of Neural Networks
Ron Banner
Itay Hubara
Elad Hoffer
Daniel Soudry
MQ
84
339
0
25 May 2018
The Lottery Ticket Hypothesis: Finding Sparse, Trainable Neural Networks
Jonathan Frankle
Michael Carbin
225
3,463
0
09 Mar 2018
Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions
Nicolas Vasilache
O. Zinenko
Theodoros Theodoridis
Priya Goyal
Zach DeVito
William S. Moses
Sven Verdoolaege
Andrew Adams
Albert Cohen
69
435
0
13 Feb 2018
AMC: AutoML for Model Compression and Acceleration on Mobile Devices
Yihui He
Ji Lin
Zhijian Liu
Hanrui Wang
Li Li
Song Han
90
1,347
0
10 Feb 2018
Regularized Evolution for Image Classifier Architecture Search
Esteban Real
A. Aggarwal
Yanping Huang
Quoc V. Le
150
3,026
0
05 Feb 2018
Progressive Neural Architecture Search
Chenxi Liu
Barret Zoph
Maxim Neumann
Jonathon Shlens
Wei Hua
Li Li
Li Fei-Fei
Alan Yuille
Jonathan Huang
Kevin Patrick Murphy
106
1,990
0
02 Dec 2017
Hierarchical Representations for Efficient Architecture Search
Hanxiao Liu
Karen Simonyan
Oriol Vinyals
Chrisantha Fernando
Koray Kavukcuoglu
3DV
83
928
0
01 Nov 2017
Learning Transferable Architectures for Scalable Image Recognition
Barret Zoph
Vijay Vasudevan
Jonathon Shlens
Quoc V. Le
172
5,596
0
21 Jul 2017
ThiNet: A Filter Level Pruning Method for Deep Neural Network Compression
Jian-Hao Luo
Jianxin Wu
Weiyao Lin
52
1,760
0
20 Jul 2017
Attention Is All You Need
Ashish Vaswani
Noam M. Shazeer
Niki Parmar
Jakob Uszkoreit
Llion Jones
Aidan Gomez
Lukasz Kaiser
Illia Polosukhin
3DV
687
131,526
0
12 Jun 2017
Neural Architecture Search with Reinforcement Learning
Barret Zoph
Quoc V. Le
454
5,369
0
05 Nov 2016
Network Morphism
Tao Wei
Changhu Wang
Y. Rui
Chen Chen
75
176
0
05 Mar 2016
Deep Residual Learning for Image Recognition
Kaiming He
Xinming Zhang
Shaoqing Ren
Jian Sun
MedIm
2.2K
193,878
0
10 Dec 2015
1