ML Augmented Binary Heap
Published:
We sped-up binary heap operations 55% using ML.
Please select a tag to view posts.
Available tags: computer-science, latex, math, package, proofs, releases, software, theory
Published:
We sped-up binary heap operations 55% using ML.
Published:
A package for seemless integration of Bangla fonts in large LaTeX projects.
Published:
A simple proof bounding the prime counting function using Chebyshev’s technique.
Published:
Predicting FIFA World Cup 2022 match outcomes using Bayesian inference on Poisson processes. The model treats each team’s latent strength as evolving stochastically over time, with observations generated via a Poisson likelihood. This design prioritizes posterior interpretability and uncertainty quantification over raw predictive performance.
Published:
A systematic treatment of linear regression from the perspective of solving linear systems. We characterize when exact solutions exist based on rank conditions and derive the closed-form solution ($X^T X)^{-1} X^T y$. In the regression setting with noise, this formula emerges as both the least-squares minimizer and the maximum likelihood estimator.
Published:
Zero correlation does not always imply independence. However, if two random variables have exponentially decaying tails and all their mixed polynomial covariances vanish, then they must be independent. The proof uses moment generating functions to extend polynomial factorization to the full distribution.
Published:
The Central Limit Theorem states that sums of i.i.d random variables with finite mean and variance converge in distribution to a Gaussian. But why the normal distribution specifically? This post builds intuition by showing CLT is a direct consequence of the exponential limit $(1 + x/n)^n \to e^x$.
Published:
Adam is an adaptive optimizer that rescales gradients coordinate-wise and maintains a momentum, addressing two major problems with Stochastic Gradient Descent. This post discusses why it is so effective and under what circumstances it can fail.
Published:
A package for seemless integration of Bangla fonts in large LaTeX projects.
Published:
A simple proof bounding the prime counting function using Chebyshev’s technique.
Published:
Predicting FIFA World Cup 2022 match outcomes using Bayesian inference on Poisson processes. The model treats each team’s latent strength as evolving stochastically over time, with observations generated via a Poisson likelihood. This design prioritizes posterior interpretability and uncertainty quantification over raw predictive performance.
Published:
Zero correlation does not always imply independence. However, if two random variables have exponentially decaying tails and all their mixed polynomial covariances vanish, then they must be independent. The proof uses moment generating functions to extend polynomial factorization to the full distribution.
Published:
The Central Limit Theorem states that sums of i.i.d random variables with finite mean and variance converge in distribution to a Gaussian. But why the normal distribution specifically? This post builds intuition by showing CLT is a direct consequence of the exponential limit $(1 + x/n)^n \to e^x$.
Published:
Adam is an adaptive optimizer that rescales gradients coordinate-wise and maintains a momentum, addressing two major problems with Stochastic Gradient Descent. This post discusses why it is so effective and under what circumstances it can fail.
Published:
A package for seemless integration of Bangla fonts in large LaTeX projects.
Published:
We sped-up binary heap operations 55% using ML.
Published:
A decoder-free variational pretraining framework for time-series forecasting under feature asymmetry. VITA learns latent representations that bridge the gap between rich training features and limited deployment features, using a transformer encoder with a seasonal prior. Applied to agricultural yield forecasting, VITA achieves R² = 0.726 on extreme weather years, training in <2.5 hours on a single GPU.
Published:
Natural language search for relational schemas with millisecond latency.
Published:
Natural language search for relational schemas with millisecond latency.
Published:
A simple proof bounding the prime counting function using Chebyshev’s technique.
Published:
Predicting FIFA World Cup 2022 match outcomes using Bayesian inference on Poisson processes. The model treats each team’s latent strength as evolving stochastically over time, with observations generated via a Poisson likelihood. This design prioritizes posterior interpretability and uncertainty quantification over raw predictive performance.
Published:
A decoder-free variational pretraining framework for time-series forecasting under feature asymmetry. VITA learns latent representations that bridge the gap between rich training features and limited deployment features, using a transformer encoder with a seasonal prior. Applied to agricultural yield forecasting, VITA achieves R² = 0.726 on extreme weather years, training in <2.5 hours on a single GPU.
Published:
A systematic treatment of linear regression from the perspective of solving linear systems. We characterize when exact solutions exist based on rank conditions and derive the closed-form solution ($X^T X)^{-1} X^T y$. In the regression setting with noise, this formula emerges as both the least-squares minimizer and the maximum likelihood estimator.
Published:
How Pythagoras and positive definiteness geometrically prove the Cauchy–Schwarz inequality. The inequality simply states that projecting a vector onto another cannot increase its length. This geometric perspective reveals that Cauchy–Schwarz represents the cosine of an angle between vectors, connecting it to the law of cosines and Pearson correlation.
Published:
Zero correlation does not always imply independence. However, if two random variables have exponentially decaying tails and all their mixed polynomial covariances vanish, then they must be independent. The proof uses moment generating functions to extend polynomial factorization to the full distribution.
Published:
The Central Limit Theorem states that sums of i.i.d random variables with finite mean and variance converge in distribution to a Gaussian. But why the normal distribution specifically? This post builds intuition by showing CLT is a direct consequence of the exponential limit $(1 + x/n)^n \to e^x$.
Published:
Adam is an adaptive optimizer that rescales gradients coordinate-wise and maintains a momentum, addressing two major problems with Stochastic Gradient Descent. This post discusses why it is so effective and under what circumstances it can fail.