wellecks/naturalprover

Stars
34
Rank 762,790 (Top 16 %)
Language
Python
License
MIT License
Created over 2 years ago
Updated over 1 year ago

wellecks/naturalprover

wellecks

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

NaturalProver: Grounded Mathematical Proof Generation with Language Models

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

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

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