Sean Welleck

icon company Carnegie Mellon University icon location Pittsburgh

Results 7 repositories owned by Sean Welleck

cws

25
Stars
12
Forks
Watchers

Chinese Word Segmentation

verified publisher icon wellecks

lda_tweets

17
Stars
3
Forks
Watchers

Latent Dirichlet Allocation on tweets

verified publisher icon wellecks

naturalproofs

80
Stars
7
Forks
Watchers

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

verified publisher icon wellecks

nonmonotonic_text

74
Stars
11
Forks
Watchers

Non-Monotonic Sequential Text Generation (ICML 2019)

verified publisher icon wellecks

port_opt

43
Stars
29
Forks
Watchers

Portfolio Optimization in Python

verified publisher icon wellecks

vaes

18
Stars
10
Forks
Watchers

Variational Autoencoders & Normalizing Flows Project

verified publisher icon wellecks

llmstep

100
Stars
13
Forks
Watchers

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

verified publisher icon wellecks