Skip to main content

Nilay Patel

offendo

I try to make computers do math better than us.

University of California, Santa Cruz

nilay.page

Teams

ucsc-theorem-synthesis

Activity

Mon

Wed

Fri

Nov

Dec

Jan

Feb

Mar

Apr

May

Jun

Jul

Aug

Sep

Oct

Runs

1-0

of 0

Name

Project

State

Created

No rows found

Loading...