wellecks/mt_decoder

Stars
1
Language
Python
Created over 10 years ago
Updated over 10 years ago

wellecks/mt_decoder

wellecks

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

Decoder for Machine Translation.

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

online_lda_python

Online LDA using Hoffman's Python Implementation

llemma_formal2formal

Llemma formal2formal (tactic prediction) theorem proving experiments

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)

overlap

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

Jupyter Notebook

coltrane

A jazzy Haskell web framework.

math-lm

lda_haskell

Online Latent Dirichlet Allocation in Haskell

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