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