Source author record

Nimish Shah

Nimish Shah appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.DS Distributed, Parallel, and Cluster Computing Hardware Architecture math.NT Machine Learning math.GT math.NA Numerical Analysis physics.ed-ph

Catalog footprint

What is connected

7works

9topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2026arXiv

aiPlato: A Novel AI Tutoring and Step-wise Feedback System for Physics Homework

This exploratory study examines the classroom deployment of aiPlato, an AI-enabled homework platform, in a large introductory physics course at the University of Texas at Arlington. Designed to support open-ended problem solving, aiPlato provides step-wise feedback and iterative guidance through tools such as "Evaluate My Work" and "AI Tutor Chat", while preserving opportunities for productive struggle. Over four optional extra-credit assignments, the platform captured detailed student interaction data, which were analyzed alongside course performance and end-of-semester survey responses. We examine how students engaged with different feedback tools, whether engagement patterns were associated with performance on the cumulative final exam, and how students perceived the platform's usability and learning value. Students who engaged more frequently with aiPlato tended to achieve higher final exam scores, with a mean difference corresponding to a standardized effect size of approximately 0.81 between high and low engagement groups after controlling for prior academic performance. Usage patterns and survey responses indicate that students primarily relied on iterative, formative feedback rather than solution-revealing assistance. As a quasi-experimental pilot study, these findings do not establish causality and may reflect self-selection effects. Nonetheless, the results demonstrate the feasibility of integrating AI-mediated, step-wise feedback into authentic physics homework and motivate future controlled studies of AI-assisted tutoring systems.

preprint2022arXiv

GRAPHOPT: constrained-optimization-based parallelization of irregular graphs

Sparse, irregular graphs show up in various applications like linear algebra, machine learning, engineering simulations, robotic control, etc. These graphs have a high degree of parallelism, but their execution on parallel threads of modern platforms remains challenging due to the irregular data dependencies. The execution performance can be improved by efficiently partitioning the graphs such that the communication and thread synchronization overheads are minimized without hurting the utilization of the threads. To achieve this, this paper proposes GRAPHOPT, a tool that models the graph parallelization as a constrained optimization problem and uses the open Google OR-Tools solver to find good partitions. Several scalability techniques are developed to handle large real-world graphs with millions of nodes and edges. Extensive experiments are performed on the graphs of sparse matrix triangular solves (linear algebra) and sum-product networks (machine learning), respectively, showing a mean speedup of 2.0X and 1.8X over previous state-of-the-art libraries, demonstrating the effectiveness of the constrained-optimization-based graph parallelization.

preprint2021arXiv

Acceleration of probabilistic reasoning through custom processor architecture

Probabilistic reasoning is an essential tool for robust decision-making systems because of its ability to explicitly handle real-world uncertainty, constraints and causal relations. Consequently, researchers are developing hybrid models by combining Deep Learning with probabilistic reasoning for safety-critical applications like self-driving vehicles, autonomous drones, etc. However, probabilistic reasoning kernels do not execute efficiently on CPUs or GPUs. This paper, therefore, proposes a custom programmable processor to accelerate sum-product networks, an important probabilistic reasoning execution kernel. The processor has an optimized datapath architecture and memory hierarchy optimized for sum-product networks execution. Experimental results show that the processor, while requiring fewer computational and memory units, achieves a 12x throughput benefit over the Nvidia Jetson TX2 embedded GPU platform.

preprint2021arXiv

ProbLP: A framework for low-precision probabilistic inference

Bayesian reasoning is a powerful mechanism for probabilistic inference in smart edge-devices. During such inferences, a low-precision arithmetic representation can enable improved energy efficiency. However, its impact on inference accuracy is not yet understood. Furthermore, general-purpose hardware does not natively support low-precision representation. To address this, we propose ProbLP, a framework that automates the analysis and design of low-precision probabilistic inference hardware. It automatically chooses an appropriate energy-efficient representation based on worst-case error-bounds and hardware energy-models. It generates custom hardware for the resulting inference network exploiting parallelism, pipelining and low-precision operation. The framework is validated on several embedded-sensing benchmarks.

preprint2019arXiv

Primitive rational points on expanding horocycles in products of the modular surface with the torus

We prove effective equidistribution of primitive rational points and of primitive rational points defined by monomials along long horocycle orbits in products of the torus and the modular surface. This answers a question posed in joint work by the first and the last named author with Shahar Mozes and Uri Shapira. Under certain congruence conditions we prove the joint equidistribution of conjugate rational points in the two-torus and the modular surface.

preprint2016arXiv

Equidistribution of curves in homogeneous spaces and Dirichlet's approximation theorem for matrices

In this paper, we study an analytic curve $φ: I=[a,b]\rightarrow \mathrm{M}(m\times n, \mathbb{R})$ in the space of $m$ by $n$ real matrices, and show that if $φ$ satisfies certain geometric condition, then for almost every point on the curve, the Diophantine approximation given by Dirichlet's Theorem can not be improved. To do this, we embed the curve into some homogeneous space $G/Γ$, and prove that under the action of some expanding diagonal subgroup $A= \{a(t): t \in \mathbb{R}\}$, the translates of the curve tend to be equidistributed in $G/Γ$, as $t \rightarrow +\infty$.

preprint2011arXiv

The Asymptotic distribution of circles in the orbits of Kleinian groups

Let P be a locally finite circle packing in the plane invariant under a non-elementary Kleinian group Gamma and with finitely many Gamma-orbits. When Gamma is geometrically finite, we construct an explicit Borel measure on the plane which describes the asymptotic distribution of small circles in P, assuming that either the critical exponent of Gamma is strictly bigger than 1 or P does not contain an infinite bouquet of tangent circles glued at a parabolic fixed point of Gamma. Our construction also works for P invariant under a geometrically infinite group Gamma, provided Gamma admits a finite Bowen-Margulis-Sullivan measure and the Gamma-skinning size of P is finite. Some concrete circle packings to which our result applies include Apollonian circle packings, Sierpinski curves, Schottky dances, etc.