Reinforcement Learning of Theorem Proving: Revision history

10 December 2018

• curprev 19:4519:45, 10 December 2018‎ Msminhas talk contribs‎ 20,271 bytes −2‎ Editorial

8 December 2018

• curprev 22:0522:05, 8 December 2018‎ Gchalato talk contribs‎ 20,273 bytes +1‎ →‎Introduction

7 December 2018

• curprev 20:4620:46, 7 December 2018‎ Aghabuss talk contribs‎ 20,272 bytes +344‎ →‎Experimental Results

2 December 2018

• curprev 17:4217:42, 2 December 2018‎ Bbudnara talk contribs‎ 19,928 bytes +54‎ →‎Experimental Results: T

30 November 2018

• curprev 16:4016:40, 30 November 2018‎ R82zhang talk contribs‎ 19,874 bytes +418‎ [T]→‎Experimental Results

29 November 2018

• curprev 22:3522:35, 29 November 2018‎ J385chen talk contribs‎ 19,456 bytes +310‎ No edit summary
• curprev 22:3222:32, 29 November 2018‎ J385chen talk contribs‎ 19,146 bytes +80‎ No edit summary
• curprev 22:3122:31, 29 November 2018‎ J385chen talk contribs‎ 19,066 bytes +8‎ No edit summary

19 November 2018

• curprev 20:1420:14, 19 November 2018‎ Jmmoosa talk contribs‎ 19,058 bytes +4‎ →‎Mizar Math Library
• curprev 20:1420:14, 19 November 2018‎ Jmmoosa talk contribs‎ 19,054 bytes +124‎ →‎References
• curprev 20:1120:11, 19 November 2018‎ Jmmoosa talk contribs‎ 18,930 bytes +4‎ →‎Mizar Math Library

15 November 2018

• curprev 18:0118:01, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,926 bytes 0‎ →‎Experimental Results
• curprev 18:0118:01, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,926 bytes +1‎ →‎Experimental Results
• curprev 18:0018:00, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,925 bytes +6‎ →‎Experimental Results
• curprev 18:0018:00, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,919 bytes +6‎ →‎Experimental Results
• curprev 17:5917:59, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,913 bytes 0‎ →‎Experimental Results
• curprev 17:5817:58, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,913 bytes 0‎ →‎Mizar Math Library
• curprev 17:5817:58, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,913 bytes +24‎ →‎Mizar Math Library
• curprev 17:5617:56, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,889 bytes +13‎ →‎Policy Learning and Guidance
• curprev 17:4817:48, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,876 bytes +6‎ →‎First Order Logic and Connection Calculi
• curprev 17:4817:48, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,870 bytes +49‎ →‎First Order Logic and Connection Calculi
• curprev 17:4717:47, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,821 bytes −55‎ →‎First Order Logic and Connection Calculi
• curprev 17:4617:46, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,876 bytes 0‎ →‎First Order Logic and Connection Calculi
• curprev 17:4617:46, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,876 bytes +18‎ →‎First Order Logic and Connection Calculi
• curprev 17:4517:45, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,858 bytes 0‎ →‎First Order Logic and Connection Calculi
• curprev 17:4517:45, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,858 bytes +6‎ →‎First Order Logic and Connection Calculi
• curprev 17:4417:44, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,852 bytes 0‎ →‎First Order Logic and Connection Calculi
• curprev 17:4317:43, 15 November 2018‎ Hnekoeiq talk contribs‎ 18,852 bytes +6‎ →‎First Order Logic and Connection Calculi
• curprev 11:5011:50, 15 November 2018‎ Npbhatt talk contribs‎ 18,846 bytes +109‎ Figure numbers fixed and minor edits
• curprev 02:3502:35, 15 November 2018‎ J823zhan talk contribs‎ 18,737 bytes +374‎ →‎References
• curprev 02:3302:33, 15 November 2018‎ J823zhan talk contribs‎ 18,363 bytes +367‎ [T: more related work info]→‎Related Work
• curprev 01:4601:46, 15 November 2018‎ S498chen talk contribs‎ 17,996 bytes +125‎ →‎Experimental Results
• curprev 01:4401:44, 15 November 2018‎ S498chen talk contribs‎ 17,871 bytes +817‎ →‎Experimental Results
• curprev 00:3400:34, 15 November 2018‎ X832zhan talk contribs‎ 17,054 bytes 0‎ →‎Experimental Results
• curprev 00:3100:31, 15 November 2018‎ X832zhan talk contribs‎ 17,054 bytes 0‎ →‎Experimental Results
• curprev 00:2900:29, 15 November 2018‎ X832zhan talk contribs‎ 17,054 bytes +933‎ →‎Experimental Results
• curprev 00:0900:09, 15 November 2018‎ X46peng talk contribs‎ 16,121 bytes 0‎ →‎Critiques
• curprev 00:0800:08, 15 November 2018‎ X46peng talk contribs‎ 16,121 bytes +219‎ →‎References
• curprev 00:0800:08, 15 November 2018‎ X46peng talk contribs‎ 15,902 bytes +1‎ →‎Related Work
• curprev 00:0700:07, 15 November 2018‎ X46peng talk contribs‎ 15,901 bytes +35‎ →‎Related Work

14 November 2018

• curprev 19:5219:52, 14 November 2018‎ Vrajendr talk contribs‎ 15,866 bytes +354‎ →‎Conclusions
• curprev 18:1618:16, 14 November 2018‎ R82zhang talk contribs‎ 15,512 bytes +337‎ [T]Add more information about MCTS.
• curprev 18:1518:15, 14 November 2018‎ Z43ma talk contribs‎ 15,175 bytes −15‎ No edit summary
• curprev 14:3514:35, 14 November 2018‎ S2ganapa talk contribs‎ 15,190 bytes +529‎ Expanded Related Work
• curprev 14:2814:28, 14 November 2018‎ S2ganapa talk contribs‎ 14,661 bytes +33‎ Grammatical Edits.
• curprev 12:3312:33, 14 November 2018‎ Z43ma talk contribs‎ 14,628 bytes +370‎ No edit summary

13 November 2018

• curprev 23:4223:42, 13 November 2018‎ Z43ma talk contribs‎ 14,258 bytes −1‎ No edit summary
• curprev 23:4123:41, 13 November 2018‎ Z43ma talk contribs‎ 14,259 bytes +1‎ No edit summary
• curprev 23:4023:40, 13 November 2018‎ Z43ma talk contribs‎ 14,258 bytes −7‎ No edit summary
• curprev 23:3023:30, 13 November 2018‎ Z43ma talk contribs‎ 14,265 bytes +49‎ No edit summary