Sean Welleck (@wellecks)
github

wellecks

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

ntptutorial

Tutorial on neural theorem proving
Jupyter Notebook
149
star
2

naturalproofs

NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)
Python
117
star
3

llmstep

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

nonmonotonic_text

Non-Monotonic Sequential Text Generation (ICML 2019)
Python
73
star
5

port_opt

Portfolio Optimization in Python
Python
46
star
6

naturalprover

NaturalProver: Grounded Mathematical Proof Generation with Language Models
Python
34
star
7

cws

Chinese Word Segmentation
Python
26
star
8

vaes

Variational Autoencoders & Normalizing Flows Project
Jupyter Notebook
19
star
9

llemma_formal2formal

Llemma formal2formal (tactic prediction) theorem proving experiments
Python
16
star
10

online_lda_python

Online LDA using Hoffman's Python Implementation
Python
16
star
11

lda_tweets

Latent Dirichlet Allocation on tweets
JavaScript
15
star
12

symbolic_generalization

Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics (AAAI 2022)
Python
14
star
13

eigenfaces

eigenfaces experiment using PCA
Python
12
star
14

mgs

MLE-Guided Parameter Search (AAAI 2021)
Python
11
star
15

overlap

Tool for n-gram overlap analysis between test and training sequences
Jupyter Notebook
8
star
16

coltrane

A jazzy Haskell web framework.
Haskell
3
star
17

math-lm

HTML
2
star
18

lda_haskell

Online Latent Dirichlet Allocation in Haskell
Haskell
1
star
19

mt_decoder

Decoder for Machine Translation.
Python
1
star
20

lean4_information_theory

Lean
1
star
21

word_aligner

Word Aligner for Machine Translation
Fortran
1
star
22

multiset

Loss Functions for Multiset Prediction
Python
1
star
23

llm-lean

LLM tools for Lean
Lean
1
star
24

llm-lean-server

Python
1
star