AsOf

Day

2018-06-02

What the record holds about this day.

Became true

1
2018-06-02valid
OpenAI · announcement · GamePad: A learning environment for theorem proving
OpenAI announcement: GamePad: A learning environment for theorem proving, claim clm_40B2E82BA164 · valid · 1 source (1 primary) · conf 0.50

Stopped being true

0

None.

Recorded or changed on this day

0

None.

/day/2018-06-02.md/v1/days/2018-06-02