Skip to content
View aniervs's full-sized avatar
46 followers · 84 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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only 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. lean4-codeforces lean4-codeforces Public

    Demonstrating Lean 4's viability for Codeforces with benchmarks and a Docker sandbox

    Lean

  2. micrograd-lean micrograd-lean Public

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

    Lean 4

  3. lean-algorithms lean-algorithms Public

    Implementation of classical computer Science Algorithms in Lean

    Lean 1

  4. nar-mechinterp nar-mechinterp Public

    Mechanistic interpretability research on Neural Algorithmic Reasoning (NAR)

    Python 1