wellecks/coltrane

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Haskell
License
BSD 3-Clause "New...
Created almost 11 years ago
Updated almost 11 years ago

wellecks/coltrane

wellecks

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

A jazzy Haskell web framework.

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

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