-
amr-vscode Public
VSCode language definition for abstract meaning representation (AMR)
-
SycophancySteering Public
Forked from nrimsky/CAAModulating sycophancy in llama-2 via activation steering
Jupyter Notebook UpdatedDec 3, 2023 -
-
relations Public
Forked from evandez/relationsHow do transformer LMs encode relations?
Jupyter Notebook MIT License UpdatedOct 5, 2023 -
frame-semantic-transformer Public
Frame Semantic Parser based on T5 and FrameNet
-
REMEDI Public
Forked from evandez/REMEDIMeasuring and Manipulating Knowledge Representations in Language Models
Python MIT License UpdatedJul 24, 2023 -
tensor-theorem-prover Public
First-order logic theorem prover supporting unification with approximate vector similarity
-
-
jest-memory-leak-demo Public
A demo of a set of tests which leak memory in Jest
-
pinyin-toolkit-bandaid Public
Helper to create Pinyin Toolkit compatible HTML tone marks for Anki 2.1
-
curve-matcher Public
Curve matching using Fréchet distance and Procrustes analysis in JS
-
-
-
reddit-words Public
What have Spacy's sense2vec 2019 word vectors learned from Reddit?
-
A tool to show gender bias in words based on NLP word embeddings from Google News
-
recipe-qa-explorer Public
Wrappers around the RecipeQA dataset
Python MIT License UpdatedOct 28, 2022 -
leanprover.github.io Public
Forked from leanprover/leanprover.github.iowww
Lean MIT License UpdatedOct 27, 2022 -
transition-amr-parser Public
Forked from IBM/transition-amr-parserTransition-based parser for Abstract Meaning Representation (AMR) in Pytorch
Python Apache License 2.0 UpdatedOct 8, 2022 -
blog Public
Forked from leanprover-community/blogSource for the community blog
Python UpdatedJul 29, 2022 -
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioHosts the website for mathlib and other Lean community infrastructure.
CSS MIT License UpdatedJul 26, 2022 -
python-semantic-release Public
Forked from python-semantic-release/python-semantic-releaseAutomatic semantic versioning for python projects
Python MIT License UpdatedJul 23, 2022 -
chess-flashcards Public
Simple flashcards app for studying chess positions
-
open-sesame Public
Forked from swabhs/open-sesameA frame-semantic parsing system based on a softmax-margin SegRNN.
Python Apache License 2.0 UpdatedMay 7, 2022 -
-
text-to-text-transfer-transformer Public
Forked from ElementalCognition/text-to-text-transfer-transformerCode for the paper "Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer"
Python Apache License 2.0 UpdatedApr 20, 2022 -
bootleg Public
Forked from HazyResearch/bootlegSelf-Supervision for Named Entity Disambiguation at the Tail
Python Apache License 2.0 UpdatedApr 11, 2022 -
logic-and-proof-exercises Public
Sandbox for LEAN exercises from "Logic and Proof" book
Lean MIT License UpdatedApr 4, 2022 -
vowpal_wabbit Public
Forked from VowpalWabbit/vowpal_wabbitVowpal Wabbit is a machine learning system which pushes the frontier of machine learning with techniques such as online, hashing, allreduce, reductions, learning2search, active, and interactive lea…
C++ Other UpdatedMar 18, 2022 -
lczero-training Public
Forked from LeelaChessZero/lczero-trainingFor code etc relating to the network training process.
Python UpdatedMar 2, 2022 -
lc0_colab_notebooks Public
A collection of colab notebooks demonstrating how to perform various development, training, and testing tasks for leela chess zeo (lc0) in Google Colab
{{ message }}