User contributions for Z43ma

13 November 2018

• 23:4223:42, 13 November 2018 diff hist −1‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 23:4123:41, 13 November 2018 diff hist +1‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 23:4023:40, 13 November 2018 diff hist −7‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 23:3023:30, 13 November 2018 diff hist +49‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 23:2223:22, 13 November 2018 diff hist 0‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 23:1923:19, 13 November 2018 diff hist −3‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 23:1523:15, 13 November 2018 diff hist +16‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 23:1423:14, 13 November 2018 diff hist −16‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 23:1323:13, 13 November 2018 diff hist −8‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 23:1223:12, 13 November 2018 diff hist 0‎ N File:atp result1.jpg ‎No edit summary current
• 23:1223:12, 13 November 2018 diff hist +437‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 23:0923:09, 13 November 2018 diff hist 0‎ N File:atp result0.jpg ‎No edit summary current
• 23:0723:07, 13 November 2018 diff hist +8‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 23:0623:06, 13 November 2018 diff hist +6,192‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 20:5420:54, 13 November 2018 diff hist 0‎ N File:mizar40 3.png ‎No edit summary current
• 20:5320:53, 13 November 2018 diff hist 0‎ N File:mizar40 2.png ‎No edit summary current
• 20:5320:53, 13 November 2018 diff hist 0‎ N File:mizar40 1.png ‎No edit summary current
• 20:5320:53, 13 November 2018 diff hist 0‎ N File:mizar40 0.png ‎No edit summary current
• 20:5320:53, 13 November 2018 diff hist 0‎ N File:mizar article.png ‎No edit summary current
• 20:5120:51, 13 November 2018 diff hist +1,374‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 20:2620:26, 13 November 2018 diff hist 0‎ N File:pathological.png ‎No edit summary current
• 20:2620:26, 13 November 2018 diff hist +1,597‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 19:3219:32, 13 November 2018 diff hist +1‎ Reinforcement Learning of Theorem Proving ‎ →‎First Order Logic and Connection Calculi
• 19:3019:30, 13 November 2018 diff hist 0‎ N File:matrix.png ‎No edit summary current
• 19:3019:30, 13 November 2018 diff hist +76‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 19:2519:25, 13 November 2018 diff hist 0‎ N File:formal tableaux.png ‎No edit summary current
• 19:2319:23, 13 November 2018 diff hist 0‎ N File:formal calculi.png ‎No edit summary current
• 19:2319:23, 13 November 2018 diff hist +346‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 19:1819:18, 13 November 2018 diff hist +71‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 19:0719:07, 13 November 2018 diff hist 0‎ N File:tableaux example.png ‎No edit summary current
• 19:0719:07, 13 November 2018 diff hist +1,276‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 18:4218:42, 13 November 2018 diff hist 0‎ N File:skolemized dnf.png ‎No edit summary current
• 18:3618:36, 13 November 2018 diff hist +8‎ stat946F18 ‎No edit summary
• 18:3518:35, 13 November 2018 diff hist −8‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 18:3418:34, 13 November 2018 diff hist 0‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 18:3418:34, 13 November 2018 diff hist +34‎ Reinforcement Learning of Theorem Proving ‎No edit summary
• 18:3318:33, 13 November 2018 diff hist 0‎ N File:fof sentence.png ‎No edit summary current
• 18:3318: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..."
• 17:2317:23, 13 November 2018 diff hist 0‎ stat946F18 ‎ →‎Record your contributions here [https://docs.google.com/spreadsheets/d/1SxkjNfhOg_eXWpUnVHuIP93E6tEiXEdpm68dQGencgE/edit?usp=sharing]
• 17:1917:19, 13 November 2018 diff hist −2‎ stat946F18 ‎ →‎Record your contributions here [https://docs.google.com/spreadsheets/d/1SxkjNfhOg_eXWpUnVHuIP93E6tEiXEdpm68dQGencgE/edit?usp=sharing]
• 17:1717:17, 13 November 2018 diff hist +2‎ stat946F18 ‎ →‎Record your contributions here [https://docs.google.com/spreadsheets/d/1SxkjNfhOg_eXWpUnVHuIP93E6tEiXEdpm68dQGencgE/edit?usp=sharing]
• 17:1717: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

• 20:2720:27, 7 October 2018 diff hist +4‎ F18-STAT946-Proposal ‎No edit summary
• 20:2620:26, 7 October 2018 diff hist +2‎ F18-STAT946-Proposal ‎No edit summary
• 20:2620:26, 7 October 2018 diff hist +2‎ F18-STAT946-Proposal ‎No edit summary
• 20:2520:25, 7 October 2018 diff hist +822‎ F18-STAT946-Proposal ‎No edit summary
• 20:1220:12, 7 October 2018 diff hist −73‎ F18-STAT946-Proposal ‎No edit summary
• 20:0920:09, 7 October 2018 diff hist +1,540‎ F18-STAT946-Proposal ‎No edit summary

2 October 2018

• 17:4617:46, 2 October 2018 diff hist +82‎ stat946F18 ‎ →‎Paper presentation
• 17:4417:44, 2 October 2018 diff hist −25‎ stat946F18 ‎ →‎Paper presentation