wellecks/llemma_formal2formal

Stars
16
Rank 1,311,288 (Top 26 %)
Language
Python
License
MIT License
Created about 1 year ago
Updated about 1 year ago

wellecks/llemma_formal2formal

wellecks

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

Llemma formal2formal (tactic prediction) theorem proving experiments

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

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