no code implementations • 6 Jun 2023 • Juan Sebastian Canas, Francisco Gomez, Omar Costilla-Reyes
In this work, we propose a machine learning system capable of predicting, detecting, and explaining individual changes in symptoms of patients with Schizophrenia by using behavioral digital phenotyping data.
1 code implementation • 16 Nov 2022 • Zhening Li, Gabriel Poesia, Omar Costilla-Reyes, Noah Goodman, Armando Solar-Lezama
Humans tame the complexity of mathematical reasoning by developing hierarchies of abstractions.
no code implementations • 10 Oct 2022 • Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal, Armando Solar-Lezama, Swarat Chaudhuri, Yisong Yue, Omar Costilla-Reyes
Neurosymbolic Programming (NP) techniques have the potential to accelerate scientific discovery.