wellecks/overlap

Stars
8
Rank 2,099,232 (Top 42 %)
Language
Jupyter Notebook
License
MIT License
Created about 1 year ago
Updated about 1 year ago

wellecks/overlap

wellecks

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Tool for n-gram overlap analysis between test and training sequences

ntptutorial

Tutorial on neural theorem proving

Jupyter Notebook

naturalproofs

NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)

llmstep

llmstep: [L]LM proofstep suggestions in Lean 4.

nonmonotonic_text

Non-Monotonic Sequential Text Generation (ICML 2019)

port_opt

Portfolio Optimization in Python

naturalprover

NaturalProver: Grounded Mathematical Proof Generation with Language Models

cws

Chinese Word Segmentation

vaes

Variational Autoencoders & Normalizing Flows Project

Jupyter Notebook

llemma_formal2formal

Llemma formal2formal (tactic prediction) theorem proving experiments

online_lda_python

Online LDA using Hoffman's Python Implementation

lda_tweets

Latent Dirichlet Allocation on tweets

symbolic_generalization

Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics (AAAI 2022)

eigenfaces

eigenfaces experiment using PCA

mgs

MLE-Guided Parameter Search (AAAI 2021)

coltrane

A jazzy Haskell web framework.

math-lm

lda_haskell

Online Latent Dirichlet Allocation in Haskell

mt_decoder

Decoder for Machine Translation.

lean4_information_theory

word_aligner

Word Aligner for Machine Translation

multiset

Loss Functions for Multiset Prediction

llm-lean

LLM tools for Lean

llm-lean-server