amka66

AI Researcher. Digital math enthusiast.

MicrosoftHaifa, Israel

Pinned Repositories

ak-tools
Blueprint repository for Python and/or Lean, including setup guides, dotfiles, and some tools
Language:Shell1 1 00
arxiv-style
A Latex style and template for paper preprints (based on NIPS style)
Language:TeX0 0 00
BARTScore
BARTScore: Evaluating Generated Text as Text Generation
Language:Python0 0 00
horc
horc: Lightweight HORn-Clause Interpreter
Language:Prolog4 2 00
mai
mai: MAth Interpreter with Standard Foundations
Language:Prolog4 3 01
nanoGPT
The simplest, fastest repository for training/finetuning medium-sized GPTs.
Language:Python0 0 00
QuestEval
Language:Python00
theorem_proving_in_lean4
Theorem Proving in Lean 4
Language:JavaScript0 0 00
transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
Language:Python0 0 00

amka66's Repositories

amka66/horc
horc: Lightweight HORn-Clause Interpreter
Language:Prolog4 2 00
amka66/mai
mai: MAth Interpreter with Standard Foundations
Language:Prolog4 3 01
amka66/ak-tools
Blueprint repository for Python and/or Lean, including setup guides, dotfiles, and some tools
Language:Shell1 1 00
amka66/arxiv-style
A Latex style and template for paper preprints (based on NIPS style)
Language:TeX0 0 00
amka66/BARTScore
BARTScore: Evaluating Generated Text as Text Generation
Language:Python0 0 00
amka66/nanoGPT
The simplest, fastest repository for training/finetuning medium-sized GPTs.
Language:Python0 0 00
amka66/QuestEval
Language:Python00
amka66/theorem_proving_in_lean4
Theorem Proving in Lean 4
Language:JavaScript0 0 00
amka66/transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
Language:Python0 0 00