168 citations · 249 across the 6 of their papers we have counts for
3 papers · 1 filter
Symbolic Discovery of Optimization Algorithms
Xiangning Chen, Chen Liang, Da Huang +9
We present a method to formulate algorithm discovery as program search, and apply it to discover optimization algorithms for deep neural network training. We leverage efficient sea…
A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
Muhammad Usman, Wenxi Wang, Kaiyuan Wang +3
This paper introduces the MCML approach for empirically studying the learnability of relational properties that can be expressed in the well-known software design language Alloy. A…
MoËT: Mixture of Expert Trees and its Application to Verifiable Reinforcement Learning
Marko Vasic, Andrija Petrovic, Kaiyuan Wang +3
Rapid advancements in deep learning have led to many recent breakthroughs. While deep learning models achieve superior performance, often statistically better than humans, their ad…