research
∙
03/12/2023
MizAR 60 for Mizar 50
As a present to Mizar on its 50th anniversary, we develop an AI/TP syste...
share
research
∙
10/12/2021
Planning from Pixels in Environments with Combinatorially Hard Search Spaces
The ability to form complex plans based on raw visual input is a litmus ...
research
∙
05/19/2018
