Sean Welleck's repositories
ntptutorial
Tutorial on neural theorem proving
naturalproofs
NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)
nonmonotonic_text
Non-Monotonic Sequential Text Generation (ICML 2019)
naturalprover
NaturalProver: Grounded Mathematical Proof Generation with Language Models
lm-evaluation-harness
A framework for few-shot evaluation of autoregressive language models.
online_lda_python
Online LDA using Hoffman's Python Implementation
lda_tweets
Latent Dirichlet Allocation on tweets
llemma_formal2formal
Llemma formal2formal (tactic prediction) theorem proving experiments
symbolic_generalization
Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics (AAAI 2022)
lda_haskell
Online Latent Dirichlet Allocation in Haskell
declarativewidgets
Jupyter Declarative Widget Extension
haskell_examples
Various simple Haskell examples.
mnist_multi
MNIST with Multiset Labels dataset generation
Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
spark-kernel
An implementation of the IPython kernel (3.0) using Scala and providing specific support for Apache Spark.