firstbacksecondback
2 Results
|
Poster
|
Mon 9:00 |
Accelerating Convergence of Replica Exchange Stochastic Gradient MCMC via Variance Reduction Wei Deng · Qi Feng · Georgios Karagiannis · Guang Lin · Faming Liang |
|
|
Poster
|
Wed 17:00 |
INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving Yuhuai Wu · Albert Jiang · Jimmy Ba · Roger Grosse |