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