User contributions for Z43ma
Jump to navigation
Jump to search
29 November 2018
- 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
15 November 2018
- 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
14 November 2018
- 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
13 November 2018
- 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]
7 October 2018
- 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
2 October 2018
- 18:4618:46, 2 October 2018 diff hist +82 stat946F18 →Paper presentation
- 18:4418:44, 2 October 2018 diff hist −25 stat946F18 →Paper presentation