Skip to content
View BrianLi009's full-sized avatar
🎯
Focusing
🎯
Focusing
59 followers · 98 following

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Organizations

@UTM-Society-for-Algorithmic-Modelling

Block or report BrianLi009

Report abuse

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

Report abuse
BrianLi009/README.md

Brian Li

Hello!

My name is Brian Li and I am a Computer Science PhD student at the Georgia Institute of Technology.

My primary research interests include Neuro-symbolic AI, Machine Learning for Logic and Mathematics (SAT/SMT Solvers), and Quantum Foundations.

:octocat: My Personal Website and Math Blog

image

Popular repositories Loading

  1. PhysicsCheck PhysicsCheck Public

    C 5 3

  2. MathCheck MathCheck Public

    Python 2

  3. De-Bruijn-Sequence-Toolkit De-Bruijn-Sequence-Toolkit Public

    Generating De Bruijn Sequences for a 52 cards deck, with window length of 5, based on highest, 2nd highest, and 3rd highest

    Python 1

  4. Dal-io Dal-io Public

    Forked from renatomatz/Dal-io

    Graph-based tool for intuitive financial modeling

    Python 1

  5. Frequency-Based-Replay-Attack-Detection Frequency-Based-Replay-Attack-Detection Public

    Jupyter Notebook 1

  6. AlphaMapleSAT-CnC AlphaMapleSAT-CnC Public

    C++ 1 3