Random triples
Subject | Object |
---|---|
gptkb:MetaPRL_team | proof assistants |
gptkb:MetaPRL_team | formal methods |
gptkb:MetaPRL_team | computer science |
gptkb:J-PAL_(Abdul_Latif_Jameel_Poverty_Action_Lab) | development economics |
Subject | Object |
---|---|
gptkb:MetaPRL_team | proof assistants |
gptkb:MetaPRL_team | formal methods |
gptkb:MetaPRL_team | computer science |
gptkb:J-PAL_(Abdul_Latif_Jameel_Poverty_Action_Lab) | development economics |