Alex Mathai

icon indicating a website link alexmathai.online icon indicating an email [email protected]

icon company IBM Research Labs icon location Bangalore icon location My interests lie in AI and software engineering. I am now a CS PhD student at Columbia University. Previously I was a Research Engineer at IBM Research.

Results 2 issues of Alex Mathai

Support for Fixing the number of clusters

14 comment

Hi @vtraag - thankyou for this amazing repo. It has been immensely useful. I have a feature request - can you add an additional argument that fixes the number of...

enhancement

A possible problem in z3's Float to Real conversion function.

7 comment

Hi ! Before going into my problem, I wanted to first thank all the amazing contributors here for this fantastic open sourced repository. It's genuinely wonderful. Now straight to the...

Floats