wellecks/llmstep

Stars
109
Rank 319,077 (Top 7 %)
Language
Python
License
MIT License
Created over 1 year ago
Updated about 1 year ago

wellecks/llmstep

wellecks

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

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

ntptutorial

Tutorial on neural theorem proving

Jupyter Notebook

naturalproofs

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

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

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