wellecks/lda_haskell

Stars
1
Language
Haskell
Created about 10 years ago
Updated about 10 years ago

wellecks/lda_haskell

wellecks

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

Online Latent Dirichlet Allocation in Haskell

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)

overlap

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

Jupyter Notebook

coltrane

A jazzy Haskell web framework.

math-lm

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