Minghao Liu
minghao-liu
Research Associate at the University of Oxford.
The University of Oxford Oxford, UK
Rubén Ballester Bautista
rballeba
I'm a program synthesis and DL researcher at Ndea and a PhD student in Topological Deep Learning at Universitat de Barcelona
Universitat de Barcelona Spain
Tirtharaj Dash
tirtharajdash
I work on Neurosymbolic AI, Deep Learning, and AI for Science.
BITS Pilani, Goa Campus Goa, India
Dong-Wan Choi
dchoi-inha
Associate Professor, Department of Computer Engineering @ Inha University, Incheon, Korea
Hakan Kjellerstrand
hakank
Independent Researcher. Interests: Constraint Modeling, Logic Programming, (Recreational) Mathematics, Probabilistic programming. Co-author of the Picat book.
Software Developer (Retired) / Independent Researcher Malmoe, Sweden
Sebastijan Dumancic
sebdumancic
Assistant Professor at Delft University of Technology. Program synthesis/induction, probabilistic programming and StarAI
Delft University of Technology
Andrew Cropper
andrewcropper
I work on logic and machine learning at the University of Oxford.