11 projects
sae-lens
Training and Analyzing Sparse Autoencoders (SAEs)
amr-logic-converter
Convert Abstract Meaning Representation (AMR) into first-order logic
linear-relational
A Python library for working with Linear Relational Embeddings (LREs) and Linear Relational Concepts (LRCs) for LLMs
steering-vectors
Steering vectors for transformer language models in Pytorch / Huggingface
causal-tracer
None
curve-matcher
A Python library for doing curve matching with Fréchet distance and Procrustes analysis
torch-geometric-median
pytorch-optimized geometric median implementation
frame-semantic-transformer
Frame Semantic Parser based on T5 and FrameNet
tensor-theorem-prover
Customizable first-order logic theorem prover supporting approximate vector similarity in unification
fuzzy-reasoner
Simple symbolic reasoner which supports fuzzy unification
SQLAlchemy-bulk-lazy-loader
A Bulk Lazy Loader for Sqlalchemy that solves the n + 1 loading problem