wellecks Goto Github PK
Name: Sean Welleck
Type: User
Company: Carnegie Mellon University
Location: Pittsburgh
Sean Welleck's Projects
cis526-projects
CIS 526 final homework assignments
coltrane
A jazzy Haskell web framework.
cws
Chinese Word Segmentation
declarativewidgets
Jupyter Declarative Widget Extension
eigenfaces
eigenfaces experiment using PCA
gdown.pl
Google Drive direct download of big files
goat
GOAT dataset without ChatGPT-written templates
haskell_examples
Various simple Haskell examples.
lda_haskell
Online Latent Dirichlet Allocation in Haskell
lda_tweets
Latent Dirichlet Allocation on tweets
lean4_information_theory
llemma_formal2formal
Llemma formal2formal (tactic prediction) theorem proving experiments
llmlean-example
llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
lm-evaluation-harness
A framework for few-shot evaluation of autoregressive language models.
math-lm
mgs
MLE-Guided Parameter Search (AAAI 2021)
minif2f
An updated version of miniF2F with lots of fixes and informal statements / solutions.
minpy
Pure NumPy practice with third-party operator integration
mnist_multi
MNIST with Multiset Labels dataset generation
mt_decoder
Decoder for Machine Translation.
multiset
Loss Functions for Multiset Prediction
mxnet
Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more
naturalproofs
NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)
naturalprover
NaturalProver: Grounded Mathematical Proof Generation with Language Models
nonmonotonic_text
Non-Monotonic Sequential Text Generation (ICML 2019)
ntptutorial
Tutorial on neural theorem proving
online_lda_python
Online LDA using Hoffman's Python Implementation
overlap
Tool for n-gram overlap analysis between test and training sequences
phone-a-friend
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.