Skip to content
View vaibhavkarve's full-sized avatar
🏠
Working from home
🏠
Working from home
15 followers · 12 following

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report vaibhavkarve

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
vaibhavkarve/README.md

Hi there 👋

You have reached the GitHub page of Vaibhav Karve. He is a Senior Data Scientist at the SimSpace Corporation. He used to be a grad student at the UofI, till he graduated with a PhD in Mathematics in 2021. You can get more information (on publications, CV, teaching, talks, and random projects) by visiting his website at vaibhavkarve.github.io.

Technologies ⚡

  • Python, Lean theorem prover, SageMath, Octave, Coq, Haskell, ELisp, bash, make
  • LaTeX, plain TeX, CoCalc, XPPaut, Docker, Emacs, git, GitHub/GitLab
  • Computational graph theory, Data science, Mathematical modelling, High-dimensional data, Machine learning and neural networks, Formal verification, Computational complexity, Algorithms
  • Currently learning: Julia, Scheme

Pinned Loading

  1. normal-form normal-form Public

    A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)

    Python 2

  2. graphsat graphsat Public

    A python package that recognizes clauses, Cnfs, graphs, hypergraphs, and multi-hypergraphs. The package implements local graph-rewriting, graph-satchecking, calculation of graph disjunctions, as we…

    Jupyter Notebook 5 2

  3. igl2020 igl2020 Public

    Lean project for Fall 2020

    Lean 7 2

  4. leanteach2020 leanteach2020 Public

    Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project

    Lean 24 6

  5. traffic-study traffic-study Public

    Project with Prof. Sowers studying the traffic data of NYC taxis, provided by Prof. Work. Project partner: Derrek Yager. UIUC Mathematics Department.

    OpenEdge ABL 1