math
Artificial Intelligence
Learning Math Through Code: Derivatives
Gain a deeper understanding of derivatives with PythonThe derivative approximation implemented in this text is generally known as the “forward difference quotient” and is one in all some ways to perform numerical differentiation. It’s...
Artificial Intelligence
Solving (some) formal math olympiad problems
We built a neural theorem prover for Lean that learned to unravel a wide range of difficult high-school olympiad problems, including problems from the AMC12 and AIME competitions, in addition to two problems adapted from the IMO.
Artificial Intelligence
Statistically Speaking: A Gen Z-Friendly Guide to Understanding and Applying Statistics in Data Science! WHY STATISTICS? why can we use Statistics in data science ? Is there...
Hey there Top-gs! Welcome to the primary a part of Statistically Speaking! In this text, we’re gonna dive into some super basic Qs about stats like what the heck it even is and why...
Artificial Intelligence
Linear Discriminant Evaluation (LDA) Can Be So Easy How it really works — the maths behind it Exploring the plot Final remarks
An Interactive Visualisation for You to Experiment WithSo given the LDA boundary, we will make classifications. But how can we draw the boundary line using the LDA algorithm?The road divides the plot where the...
Artificial Intelligence
Kaiming He Initialization in Neural Networks — Math Proof Math Proof: Kaiming He Initialization III. Weight Distribution Conclusion
Deriving optimal initial variance of weight matrices in neural network layers with ReLU activation functionInitialization techniques are one in every of the prerequisites for successfully training a deep learning architecture. Traditionally, weight initialization methods...
Artificial Intelligence
Automating the maths for decision-making under uncertainty
One reason deep learning exploded over the past decade was the supply...
Recent posts
