User contributions for Z43ma
Jump to navigation
Jump to search
13 November 2018
- 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