Algebro-geometric algorithms for template-based synthesis of polynomial programs AK Goharshady, S Hitarth, F Mohammadi, HJ Motwani Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 727-756, 2023 | 13 | 2023 |
Matroid stratifications of hypergraph varieties, their realization spaces, and discrete conditional independence models O Clarke, K Grace, F Mohammadi, HJ Motwani International Mathematics Research Notices 2023 (22), 18958-19019, 2023 | 11 | 2023 |
Conditional probabilities via line arrangements and point configurations O Clarke, F Mohammadi, HJ Motwani Linear and multilinear algebra 70 (20), 5268-5300, 2022 | 11 | 2022 |
The linear span of uniform matrix product states C De Lazzari, HJ Motwani, T Seynnaeve SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 18, 099, 2022 | 9 | 2022 |
Global rigidity of line constrained frameworks J Cruickshank, F Mohammadi, HJ Motwani, A Nixon, S Tanigawa SIAM Journal on Discrete Mathematics 38 (1), 743-763, 2024 | 4 | 2024 |
Faster treewidth-based approximations for Wiener index GK Conrado, AK Goharshady, P Hudec, P Li, HJ Motwani 22nd International Symposium on Experimental Algorithms (SEA 2024), 2024 | 4 | 2024 |
The leading coefficient of Lascoux polynomials A Borzí, X Chen, HJ Motwani, L Venturello, M Vodička Discrete Mathematics 346 (2), 113217, 2023 | 3 | 2023 |
Computing maximum likelihood estimates for Gaussian graphical models with Macaulay2 C Améndola, LDG Puente, R Homs, O Kuznetsova, HJ Motwani Journal of Software for Algebra and Geometry 12 (1), 2022 | 3 | 2022 |
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers S Akshay, S Chakraborty, AK Goharshady, R Govind, HJ Motwani, ... Conference on Logic for Programming, Artificial Intelligence and Reasoning …, 2024 | 2 | 2024 |
Parameterized algorithms for topological indices in chemistry GK Conrado, AK Goharshady, HJ Motwani, S Novozhilov arXiv preprint arXiv:2303.13279, 2023 | 2 | 2023 |
Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic S Akshay, S Chakraborty, AK Goharshady, R Govind, HJ Motwani, ... International Symposium on Formal Methods, 111-130, 2024 | 1* | 2024 |
Algebro-Geometric Algorithms for Program Synthesis, Tensor Networks, and Conditional Independence Models HJ Motwani Ghent University, 2023 | 1 | 2023 |