Nilay Patel's picture
1

Nilay Patel

offendo
·

AI & ML interests

mathematics, theorem proving, reasoning

Recent Activity

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

Organizations

University of California, Santa Cruz's profile picture