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"
5 / 5 papers shown
Title
Saturn: An Optimized Data System for Large Model Deep Learning Workloads
Kabir Nagrecha
Arun Kumar
11
6
0
03 Sep 2023
Symbolic Synthesis of Neural Networks
Eli Whitehouse
19
0
0
06 Mar 2023
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
83
152
0
17 Sep 2021
Equality Saturation for Tensor Graph Superoptimization
Yichen Yang
Mangpo Phitchaya Phothilimtha
Y. Wang
Max Willsey
Sudip Roy
Jacques Pienaar
38
80
0
05 Jan 2021
Neural Architecture Search with Reinforcement Learning
Barret Zoph
Quoc V. Le
264
5,326
0
05 Nov 2016
1