User contributions for Z43ma

For Z43ma talk block log uploads logs

A user with 139 edits. Account created on 14 September 2018.

Jump to navigation Jump to search

20:2720:27, 30 November 2018 diff hist +988‎ stat946w18/Wavelet Pooling For Convolutional Neural Networks ‎ Detail in conclusion and proposed method.
20:2220:22, 30 November 2018 diff hist +128‎ stat946w18/Wavelet Pooling For Convolutional Neural Networks ‎No edit summary
20:1920:19, 30 November 2018 diff hist 0‎ stat946w18/Wavelet Pooling For Convolutional Neural Networks ‎ grammer update
20:1720:17, 30 November 2018 diff hist +66‎ stat946w18/Towards Image Understanding From Deep Compression Without Decoding ‎No edit summary
20:1520:15, 30 November 2018 diff hist +3‎ stat946w18/Towards Image Understanding From Deep Compression Without Decoding ‎ Grammer update.
20:1220:12, 30 November 2018 diff hist +443‎ Annotating Object Instances with a Polygon RNN ‎ Some details in training, grammer update
20:0520:05, 30 November 2018 diff hist +29‎ Robot Learning in Homes: Improving Generalization and Reducing Dataset Bias ‎ format update
20:0420:04, 30 November 2018 diff hist −1‎ Robot Learning in Homes: Improving Generalization and Reducing Dataset Bias ‎ grammer update
20:0220:02, 30 November 2018 diff hist +322‎ Robot Learning in Homes: Improving Generalization and Reducing Dataset Bias ‎ some details of why certain features are included
19:5319:53, 30 November 2018 diff hist +65‎ conditional neural process ‎ Format update.
19:4919:49, 30 November 2018 diff hist +459‎ conditional neural process ‎ Example in Model, fixed mistake about GP
19:4019:40, 30 November 2018 diff hist 0‎ A Bayesian Perspective on Generalization and Stochastic Gradient Descent ‎No edit summary
19:4019:40, 30 November 2018 diff hist +12‎ A Bayesian Perspective on Generalization and Stochastic Gradient Descent ‎No edit summary
19:3919:39, 30 November 2018 diff hist +68‎ A Bayesian Perspective on Generalization and Stochastic Gradient Descent ‎No edit summary
19:3619:36, 30 November 2018 diff hist +78‎ A Bayesian Perspective on Generalization and Stochastic Gradient Descent ‎No edit summary
19:3419:34, 30 November 2018 diff hist +64‎ A Bayesian Perspective on Generalization and Stochastic Gradient Descent ‎ Grammer update
19:2919:29, 30 November 2018 diff hist 0‎ A Bayesian Perspective on Generalization and Stochastic Gradient Descent ‎No edit summary
19:2919:29, 30 November 2018 diff hist +13‎ A Bayesian Perspective on Generalization and Stochastic Gradient Descent ‎No edit summary
19:2819:28, 30 November 2018 diff hist 0‎ A Bayesian Perspective on Generalization and Stochastic Gradient Descent ‎ Format update.
19:2019:20, 30 November 2018 diff hist +143‎ Deep Reinforcement Learning in Continuous Action Spaces a Case Study in the Game of Simulated Curling ‎No edit summary
19:1719:17, 30 November 2018 diff hist +13‎ Deep Reinforcement Learning in Continuous Action Spaces a Case Study in the Game of Simulated Curling ‎ Format update.
19:1519:15, 30 November 2018 diff hist +385‎ Deep Reinforcement Learning in Continuous Action Spaces a Case Study in the Game of Simulated Curling ‎No edit summary
19:1119:11, 30 November 2018 diff hist +4‎ Deep Reinforcement Learning in Continuous Action Spaces a Case Study in the Game of Simulated Curling ‎No edit summary
19:1119:11, 30 November 2018 diff hist +30‎ Deep Reinforcement Learning in Continuous Action Spaces a Case Study in the Game of Simulated Curling ‎No edit summary
19:0319:03, 30 November 2018 diff hist +2‎ CapsuleNets ‎No edit summary
19:0219:02, 30 November 2018 diff hist −2‎ CapsuleNets ‎No edit summary
18:5918:59, 30 November 2018 diff hist +60‎ Unsupervised Neural Machine Translation ‎No edit summary
18:5418:54, 30 November 2018 diff hist +289‎ Learning to Teach ‎No edit summary
18:5018:50, 30 November 2018 diff hist +36‎ Hierarchical Representations for Efficient Architecture Search ‎No edit summary
18:4618:46, 30 November 2018 diff hist +56‎ Hierarchical Representations for Efficient Architecture Search ‎No edit summary
18:4118:41, 30 November 2018 diff hist +1‎ Countering Adversarial Images Using Input Transformations ‎No edit summary
18:4118:41, 30 November 2018 diff hist −1‎ Countering Adversarial Images Using Input Transformations ‎No edit summary
18:4018:40, 30 November 2018 diff hist +114‎ Countering Adversarial Images Using Input Transformations ‎No edit summary
18:3818:38, 30 November 2018 diff hist +1,065‎ Countering Adversarial Images Using Input Transformations ‎No edit summary
18:3318:33, 30 November 2018 diff hist +359‎ Obfuscated Gradients Give a False Sense of Security Circumventing Defenses to Adversarial Examples ‎No edit summary
18:2818:28, 30 November 2018 diff hist +1‎ Obfuscated Gradients Give a False Sense of Security Circumventing Defenses to Adversarial Examples ‎No edit summary
18:2618:26, 30 November 2018 diff hist +9‎ Obfuscated Gradients Give a False Sense of Security Circumventing Defenses to Adversarial Examples ‎No edit summary
18:2218:22, 30 November 2018 diff hist +145‎ Obfuscated Gradients Give a False Sense of Security Circumventing Defenses to Adversarial Examples ‎No edit summary
18:1118:11, 30 November 2018 diff hist +137‎ Unsupervised Neural Machine Translation ‎No edit summary
18:1118:11, 30 November 2018 diff hist +282‎ Unsupervised Neural Machine Translation ‎No edit summary
17:5217:52, 30 November 2018 diff hist +356‎ Learning to Teach ‎No edit summary
17:3717:37, 30 November 2018 diff hist +57‎ Learning to Teach ‎No edit summary

22:5422:54, 29 November 2018 diff hist +305‎ ShakeDrop Regularization ‎No edit summary
20:4820:48, 29 November 2018 diff hist +189‎ DON'T DECAY THE LEARNING RATE , INCREASE THE BATCH SIZE ‎No edit summary
20:4520:45, 29 November 2018 diff hist +39‎ DON'T DECAY THE LEARNING RATE , INCREASE THE BATCH SIZE ‎No edit summary
20:4420:44, 29 November 2018 diff hist +218‎ DON'T DECAY THE LEARNING RATE , INCREASE THE BATCH SIZE ‎No edit summary
20:4020:40, 29 November 2018 diff hist +24‎ DON'T DECAY THE LEARNING RATE , INCREASE THE BATCH SIZE ‎No edit summary
20:3920:39, 29 November 2018 diff hist −4‎ DON'T DECAY THE LEARNING RATE , INCREASE THE BATCH SIZE ‎No edit summary
20:3820:38, 29 November 2018 diff hist 0‎ DON'T DECAY THE LEARNING RATE , INCREASE THE BATCH SIZE ‎No edit summary
20:3620:36, 29 November 2018 diff hist −5‎ DETECTING STATISTICAL INTERACTIONS FROM NEURAL NETWORK WEIGHTS ‎No edit summary
20:3620:36, 29 November 2018 diff hist 0‎ DETECTING STATISTICAL INTERACTIONS FROM NEURAL NETWORK WEIGHTS ‎No edit summary
20:3620:36, 29 November 2018 diff hist −1‎ DETECTING STATISTICAL INTERACTIONS FROM NEURAL NETWORK WEIGHTS ‎No edit summary
20:1220:12, 29 November 2018 diff hist +284‎ DETECTING STATISTICAL INTERACTIONS FROM NEURAL NETWORK WEIGHTS ‎No edit summary
20:0920:09, 29 November 2018 diff hist +1‎ DETECTING STATISTICAL INTERACTIONS FROM NEURAL NETWORK WEIGHTS ‎No edit summary
19:5719:57, 29 November 2018 diff hist +1‎ DETECTING STATISTICAL INTERACTIONS FROM NEURAL NETWORK WEIGHTS ‎No edit summary
19:5619:56, 29 November 2018 diff hist +3‎ a neural representation of sketch drawings ‎No edit summary
19:5619:56, 29 November 2018 diff hist +13‎ a neural representation of sketch drawings ‎No edit summary
19:5519:55, 29 November 2018 diff hist +300‎ a neural representation of sketch drawings ‎No edit summary
19:5419:54, 29 November 2018 diff hist +141‎ a neural representation of sketch drawings ‎No edit summary
19:4019:40, 29 November 2018 diff hist −1‎ Wasserstein Auto-encoders ‎No edit summary
19:4019:40, 29 November 2018 diff hist +1‎ Wasserstein Auto-encoders ‎No edit summary
19:3919:39, 29 November 2018 diff hist +1‎ Wasserstein Auto-encoders ‎No edit summary
19:3919:39, 29 November 2018 diff hist +1‎ Wasserstein Auto-encoders ‎No edit summary
19:3819:38, 29 November 2018 diff hist +209‎ Wasserstein Auto-encoders ‎No edit summary
19:3019:30, 29 November 2018 diff hist +134‎ Wasserstein Auto-encoders ‎No edit summary
19:2419:24, 29 November 2018 diff hist 0‎ Fix your classifier: the marginal value of training the last weight layer ‎No edit summary
19:2119:21, 29 November 2018 diff hist +4‎ Fix your classifier: the marginal value of training the last weight layer ‎No edit summary
19:2119:21, 29 November 2018 diff hist +88‎ Fix your classifier: the marginal value of training the last weight layer ‎No edit summary
19:1819:18, 29 November 2018 diff hist +184‎ Fix your classifier: the marginal value of training the last weight layer ‎No edit summary
19:0519:05, 29 November 2018 diff hist 0‎ Fix your classifier: the marginal value of training the last weight layer ‎No edit summary
19:0419:04, 29 November 2018 diff hist +6‎ Fix your classifier: the marginal value of training the last weight layer ‎No edit summary
19:0219:02, 29 November 2018 diff hist +3‎ learn what not to learn ‎No edit summary
19:0219:02, 29 November 2018 diff hist +39‎ learn what not to learn ‎No edit summary
19:0019:00, 29 November 2018 diff hist +122‎ learn what not to learn ‎No edit summary
18:5918:59, 29 November 2018 diff hist +410‎ learn what not to learn ‎No edit summary
18:5618:56, 29 November 2018 diff hist +357‎ Visual Reinforcement Learning with Imagined Goals ‎No edit summary
18:4118:41, 29 November 2018 diff hist +36‎ Visual Reinforcement Learning with Imagined Goals ‎No edit summary
18:3118:31, 29 November 2018 diff hist −2‎ stat946F18/Autoregressive Convolutional Neural Networks for Asynchronous Time Series ‎No edit summary
18:3018:30, 29 November 2018 diff hist +99‎ stat946F18/Autoregressive Convolutional Neural Networks for Asynchronous Time Series ‎No edit summary
18:2418:24, 29 November 2018 diff hist +244‎ stat946F18/Autoregressive Convolutional Neural Networks for Asynchronous Time Series ‎No edit summary
18:1918:19, 29 November 2018 diff hist −1‎ CapsuleNets ‎No edit summary
18:1918:19, 29 November 2018 diff hist +1‎ CapsuleNets ‎No edit summary
18:1818:18, 29 November 2018 diff hist +320‎ CapsuleNets ‎No edit summary
18:0718:07, 29 November 2018 diff hist +144‎ Hierarchical Representations for Efficient Architecture Search ‎No edit summary
18:0018:00, 29 November 2018 diff hist +302‎ Hierarchical Representations for Efficient Architecture Search ‎No edit summary

13:1313:13, 15 November 2018 diff hist +97‎ stat946F18 ‎No edit summary
13:1313:13, 15 November 2018 diff hist 0‎ N File:zheng 946 presentation.pdf ‎No edit summary current

19:1519:15, 14 November 2018 diff hist −15‎ Reinforcement Learning of Theorem Proving ‎No edit summary
13:3313:33, 14 November 2018 diff hist +370‎ Reinforcement Learning of Theorem Proving ‎No edit summary
00:4200:42, 14 November 2018 diff hist −1‎ Reinforcement Learning of Theorem Proving ‎No edit summary
00:4100:41, 14 November 2018 diff hist +1‎ Reinforcement Learning of Theorem Proving ‎No edit summary
00:4000:40, 14 November 2018 diff hist −7‎ Reinforcement Learning of Theorem Proving ‎No edit summary
00:3000:30, 14 November 2018 diff hist +49‎ Reinforcement Learning of Theorem Proving ‎No edit summary
00:2200:22, 14 November 2018 diff hist 0‎ Reinforcement Learning of Theorem Proving ‎No edit summary
00:1900:19, 14 November 2018 diff hist −3‎ Reinforcement Learning of Theorem Proving ‎No edit summary
00:1500:15, 14 November 2018 diff hist +16‎ Reinforcement Learning of Theorem Proving ‎No edit summary
00:1400:14, 14 November 2018 diff hist −16‎ Reinforcement Learning of Theorem Proving ‎No edit summary
00:1300:13, 14 November 2018 diff hist −8‎ Reinforcement Learning of Theorem Proving ‎No edit summary
00:1200:12, 14 November 2018 diff hist 0‎ N File:atp result1.jpg ‎No edit summary current
00:1200:12, 14 November 2018 diff hist +437‎ Reinforcement Learning of Theorem Proving ‎No edit summary
00:0900:09, 14 November 2018 diff hist 0‎ N File:atp result0.jpg ‎No edit summary current
00:0700:07, 14 November 2018 diff hist +8‎ Reinforcement Learning of Theorem Proving ‎No edit summary
00:0600:06, 14 November 2018 diff hist +6,192‎ Reinforcement Learning of Theorem Proving ‎No edit summary

21:5421:54, 13 November 2018 diff hist 0‎ N File:mizar40 3.png ‎No edit summary current
21:5321:53, 13 November 2018 diff hist 0‎ N File:mizar40 2.png ‎No edit summary current
21:5321:53, 13 November 2018 diff hist 0‎ N File:mizar40 1.png ‎No edit summary current
21:5321:53, 13 November 2018 diff hist 0‎ N File:mizar40 0.png ‎No edit summary current
21:5321:53, 13 November 2018 diff hist 0‎ N File:mizar article.png ‎No edit summary current
21:5121:51, 13 November 2018 diff hist +1,374‎ Reinforcement Learning of Theorem Proving ‎No edit summary
21:2621:26, 13 November 2018 diff hist 0‎ N File:pathological.png ‎No edit summary current
21:2621:26, 13 November 2018 diff hist +1,597‎ Reinforcement Learning of Theorem Proving ‎No edit summary
20:3220:32, 13 November 2018 diff hist +1‎ Reinforcement Learning of Theorem Proving ‎ →‎First Order Logic and Connection Calculi
20:3020:30, 13 November 2018 diff hist 0‎ N File:matrix.png ‎No edit summary current
20:3020:30, 13 November 2018 diff hist +76‎ Reinforcement Learning of Theorem Proving ‎No edit summary
20:2520:25, 13 November 2018 diff hist 0‎ N File:formal tableaux.png ‎No edit summary current
20:2320:23, 13 November 2018 diff hist 0‎ N File:formal calculi.png ‎No edit summary current
20:2320:23, 13 November 2018 diff hist +346‎ Reinforcement Learning of Theorem Proving ‎No edit summary
20:1820:18, 13 November 2018 diff hist +71‎ Reinforcement Learning of Theorem Proving ‎No edit summary
20:0720:07, 13 November 2018 diff hist 0‎ N File:tableaux example.png ‎No edit summary current
20:0720:07, 13 November 2018 diff hist +1,276‎ Reinforcement Learning of Theorem Proving ‎No edit summary
19:4219:42, 13 November 2018 diff hist 0‎ N File:skolemized dnf.png ‎No edit summary current
19:3619:36, 13 November 2018 diff hist +8‎ stat946F18 ‎No edit summary
19:3519:35, 13 November 2018 diff hist −8‎ Reinforcement Learning of Theorem Proving ‎No edit summary
19:3419:34, 13 November 2018 diff hist 0‎ Reinforcement Learning of Theorem Proving ‎No edit summary
19:3419:34, 13 November 2018 diff hist +34‎ Reinforcement Learning of Theorem Proving ‎No edit summary
19:3319:33, 13 November 2018 diff hist 0‎ N File:fof sentence.png ‎No edit summary current
19:3319:33, 13 November 2018 diff hist +2,823‎ N Reinforcement Learning of Theorem Proving ‎ Created page with "== Introduction == Automated reasoning over mathematical proof was a major motivation for the development of computer science. Automated theorem provers (ATP) can in principle..."
18:2318:23, 13 November 2018 diff hist 0‎ stat946F18 ‎ →‎Record your contributions here [https://docs.google.com/spreadsheets/d/1SxkjNfhOg_eXWpUnVHuIP93E6tEiXEdpm68dQGencgE/edit?usp=sharing]
18:1918:19, 13 November 2018 diff hist −2‎ stat946F18 ‎ →‎Record your contributions here [https://docs.google.com/spreadsheets/d/1SxkjNfhOg_eXWpUnVHuIP93E6tEiXEdpm68dQGencgE/edit?usp=sharing]
18:1718:17, 13 November 2018 diff hist +2‎ stat946F18 ‎ →‎Record your contributions here [https://docs.google.com/spreadsheets/d/1SxkjNfhOg_eXWpUnVHuIP93E6tEiXEdpm68dQGencgE/edit?usp=sharing]
18:1718:17, 13 November 2018 diff hist +99‎ stat946F18 ‎ →‎Record your contributions here [https://docs.google.com/spreadsheets/d/1SxkjNfhOg_eXWpUnVHuIP93E6tEiXEdpm68dQGencgE/edit?usp=sharing]

21:2721:27, 7 October 2018 diff hist +4‎ F18-STAT946-Proposal ‎No edit summary
21:2621:26, 7 October 2018 diff hist +2‎ F18-STAT946-Proposal ‎No edit summary
21:2621:26, 7 October 2018 diff hist +2‎ F18-STAT946-Proposal ‎No edit summary
21:2521:25, 7 October 2018 diff hist +822‎ F18-STAT946-Proposal ‎No edit summary
21:1221:12, 7 October 2018 diff hist −73‎ F18-STAT946-Proposal ‎No edit summary
21:0921:09, 7 October 2018 diff hist +1,540‎ F18-STAT946-Proposal ‎No edit summary

18:4618:46, 2 October 2018 diff hist +82‎ stat946F18 ‎ →‎Paper presentation
18:4418:44, 2 October 2018 diff hist −25‎ stat946F18 ‎ →‎Paper presentation

Retrieved from "http://wiki.math.uwaterloo.ca/statwiki/index.php?title=Special:Contributions/Z43ma"