Giters
Sean Welleck (wellecks)

wellecks

Geek Repo

221

followers

8

following

48

stars

Company:Carnegie Mellon University

Location:Pittsburgh

Github PK Tool:Github PK Tool

Organizations
dmlc

Sean Welleck's repositories

ntptutorial

Tutorial on neural theorem proving

Language:Jupyter NotebookLicense:MITStargazers:142Issues:4Issues:0

naturalproofs

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

Language:PythonLicense:MITStargazers:110Issues:7Issues:0

llmstep

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

Language:PythonLicense:MITStargazers:100Issues:3Issues:3

nonmonotonic_text

Non-Monotonic Sequential Text Generation (ICML 2019)

Language:PythonStargazers:73Issues:7Issues:2

port_opt

Portfolio Optimization in Python

Language:PythonStargazers:46Issues:8Issues:1

naturalprover

NaturalProver: Grounded Mathematical Proof Generation with Language Models

Language:PythonLicense:MITStargazers:31Issues:3Issues:1

lm-evaluation-harness

A framework for few-shot evaluation of autoregressive language models.

Language:PythonLicense:MITStargazers:22Issues:2Issues:0

vaes

Variational Autoencoders & Normalizing Flows Project

Language:Jupyter NotebookStargazers:19Issues:3Issues:5

online_lda_python

Online LDA using Hoffman's Python Implementation

Language:PythonLicense:GPL-3.0Stargazers:16Issues:2Issues:0

lda_tweets

Latent Dirichlet Allocation on tweets

Language:JavaScriptLicense:GPL-3.0Stargazers:15Issues:4Issues:0

llemma_formal2formal

Llemma formal2formal (tactic prediction) theorem proving experiments

Language:PythonLicense:MITStargazers:13Issues:1Issues:2

symbolic_generalization

Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics (AAAI 2022)

Language:PythonStargazers:13Issues:2Issues:0

mgs

MLE-Guided Parameter Search (AAAI 2021)

Language:PythonStargazers:11Issues:2Issues:1

overlap

Tool for n-gram overlap analysis between test and training sequences

Language:Jupyter NotebookLicense:MITStargazers:8Issues:2Issues:0

math-lm

Language:HTMLLicense:MITStargazers:2Issues:0Issues:0

miniF2F

An updated version of miniF2F with lots of fixes and informal statements / solutions.

Language:LeanLicense:MITStargazers:2Issues:0Issues:0

goat

GOAT dataset without ChatGPT-written templates

Language:Jupyter NotebookStargazers:1Issues:0Issues:0

lda_haskell

Online Latent Dirichlet Allocation in Haskell

Language:HaskellStargazers:1Issues:2Issues:0

lean4_information_theory

Language:LeanStargazers:1Issues:1Issues:0

multiset

Loss Functions for Multiset Prediction

Language:PythonStargazers:1Issues:1Issues:0

declarativewidgets

Jupyter Declarative Widget Extension

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:3Issues:0

gdown.pl

Google Drive direct download of big files

Language:PerlLicense:GPL-3.0Stargazers:0Issues:1Issues:0

haskell_examples

Various simple Haskell examples.

Language:HaskellStargazers:0Issues:2Issues:0

llmlean-example

Language:LeanStargazers:0Issues:0Issues:0

minpy

Pure NumPy practice with third-party operator integration

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

mnist_multi

MNIST with Multiset Labels dataset generation

Language:PythonStargazers:0Issues:1Issues:0

mxnet

Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

phone-a-friend

Language:PythonStargazers:0Issues:2Issues:0

Portal-to-ISAbelle

https://albertqjiang.github.io/Portal-to-ISAbelle/

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

spark-kernel

An implementation of the IPython kernel (3.0) using Scala and providing specific support for Apache Spark.

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0