Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
offendo (Nilay Patel)
[go: Go Back, main page]
Hugging Face's logo
Nilay Patel's picture
1

Nilay Patel

offendo
·
https://nilay.page

AI & ML interests

mathematics, theorem proving, reasoning

Recent Activity

published a dataset about 1 month ago
offendo/ma-alignment-defs
updated a dataset about 1 month ago
offendo/ma-alignment-stmts
published a dataset about 1 month ago
offendo/ma-alignment-stmts
View all activity

Organizations

University of California, Santa Cruz's profile picture