Skip to content
View aniervs's full-sized avatar
56 followers · 86 following

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2

Block or report aniervs

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
aniervs/README.md
  • 👋 Hi, I’m Anier.
  • 👀 I'm interested in mathematics, algorithms, and machine learning.
  • 🌱 Currently exploring GNNs, Algorithmic Reasoning, Formal Verification, ...
  • 📫 How to reach me:

Python Lean 4 C++ PyTorch Jupyter Docker

Pinned Loading

  1. micrograd-lean micrograd-lean Public

    A tape-based reverse-mode automatic differentiation engine implemented in Lean 4, inspired by Karpathy's micrograd

    Lean 4

  2. lean-algorithms lean-algorithms Public

    Implementation of classical computer Science Algorithms in Lean

    Lean 1

  3. nar-mechinterp nar-mechinterp Public

    Mechanistic interpretability research on Neural Algorithmic Reasoning (NAR)

    Python 3

  4. vq-algos vq-algos Public

    Forked from aniervssp/vq-algos

    educational implementations of some VQ algorithms

    Python