User contributions for Hnekoeiq
Jump to navigation
Jump to search
15 November 2018
- 18:5818:58, 15 November 2018 diff hist 0 Reinforcement Learning of Theorem Proving →Mizar Math Library
- 18:5818:58, 15 November 2018 diff hist +24 Reinforcement Learning of Theorem Proving →Mizar Math Library
- 18:5618:56, 15 November 2018 diff hist +13 Reinforcement Learning of Theorem Proving →Policy Learning and Guidance
- 18:4818:48, 15 November 2018 diff hist +6 Reinforcement Learning of Theorem Proving →First Order Logic and Connection Calculi
- 18:4818:48, 15 November 2018 diff hist +49 Reinforcement Learning of Theorem Proving →First Order Logic and Connection Calculi
- 18:4718:47, 15 November 2018 diff hist −55 Reinforcement Learning of Theorem Proving →First Order Logic and Connection Calculi
- 18:4618:46, 15 November 2018 diff hist 0 Reinforcement Learning of Theorem Proving →First Order Logic and Connection Calculi
- 18:4618:46, 15 November 2018 diff hist +18 Reinforcement Learning of Theorem Proving →First Order Logic and Connection Calculi
- 18:4518:45, 15 November 2018 diff hist 0 Reinforcement Learning of Theorem Proving →First Order Logic and Connection Calculi
- 18:4518:45, 15 November 2018 diff hist +6 Reinforcement Learning of Theorem Proving →First Order Logic and Connection Calculi
- 18:4418:44, 15 November 2018 diff hist 0 Reinforcement Learning of Theorem Proving →First Order Logic and Connection Calculi
- 18:4318:43, 15 November 2018 diff hist +6 Reinforcement Learning of Theorem Proving →First Order Logic and Connection Calculi
9 November 2018
- 16:4116:41, 9 November 2018 diff hist 0 Annotating Object Instances with a Polygon RNN →Effect of object size
- 16:4116:41, 9 November 2018 diff hist 0 Annotating Object Instances with a Polygon RNN →Effect of object size
- 16:4116:41, 9 November 2018 diff hist +3 Annotating Object Instances with a Polygon RNN →Effect of object size
- 16:4016:40, 9 November 2018 diff hist 0 N File:IoU vs size of instance.PNG No edit summary current
- 16:3816:38, 9 November 2018 diff hist +374 Annotating Object Instances with a Polygon RNN →Quantitative Results
- 16:3616:36, 9 November 2018 diff hist 0 Annotating Object Instances with a Polygon RNN →Quantitative Results
- 16:3616:36, 9 November 2018 diff hist +37 Annotating Object Instances with a Polygon RNN →Quantitative Results
- 16:2716:27, 9 November 2018 diff hist +102 Zero-Shot Visual Imitation →Introduction