5-day longest streak
-
ntptutorial ★ PINNED
Tutorial on neural theorem proving
Jupyter Notebook ★ 179 2y agoExplain → -
transformers4math-simons ★ PINNED
Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025
Jupyter Notebook ★ 43 5mo agoExplain → -
llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
Python ★ 153 2y agoExplain → -
naturalproofs
NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)
Python ★ 137 3y agoExplain → -
nonmonotonic_text
Non-Monotonic Sequential Text Generation (ICML 2019)
Python ★ 72 7y agoExplain → -
port_opt
Portfolio Optimization in Python
Python ★ 46 11y agoExplain → -
naturalprover
NaturalProver: Grounded Mathematical Proof Generation with Language Models
Python ★ 39 3y agoExplain → -
cws
Chinese Word Segmentation
Python ★ 27 12y agoExplain → -
lm-evaluation-harness ⑂
A framework for few-shot evaluation of autoregressive language models.
Python ★ 26 2y agoExplain → -
llemma_formal2formal
Llemma formal2formal (tactic prediction) theorem proving experiments
Python ★ 20 2y agoExplain → -
vaes
Variational Autoencoders & Normalizing Flows Project
Jupyter Notebook ★ 18 9y agoExplain → -
online_lda_python
Online LDA using Hoffman's Python Implementation
Python ★ 15 11y agoExplain → -
lda_tweets
Latent Dirichlet Allocation on tweets
JavaScript ★ 15 11y agoExplain → -
symbolic_generalization
Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics (AAAI 2022)
Python ★ 14 4y agoExplain → -
mgs
MLE-Guided Parameter Search (AAAI 2021)
Python ★ 12 4y agoExplain → -
eigenfaces
eigenfaces experiment using PCA
Python ★ 12 12y agoExplain → -
lean4_information_theory
Basic discrete probability and information theory in Lean
Lean ★ 10 5mo agoExplain → -
overlap
Tool for n-gram overlap analysis between test and training sequences
Jupyter Notebook ★ 9 2y agoExplain → -
coltrane
A jazzy Haskell web framework.
Haskell ★ 4 12y agoExplain → -
word_aligner
Word Aligner for Machine Translation
FORTRAN ★ 2 12y agoExplain → -
math-lm
No description.
HTML ★ 2 3y agoExplain → -
gdown.pl ⑂
Google Drive direct download of big files
Perl ★ 1 7y agoExplain → -
miniF2F ⑂
An updated version of miniF2F with lots of fixes and informal statements / solutions.
Lean ★ 1 2y agoExplain → -
multiset
Loss Functions for Multiset Prediction
Python ★ 1 8y agoExplain → -
goat ⑂
GOAT dataset without ChatGPT-written templates
Jupyter Notebook ★ 1 2y agoExplain → -
lda_haskell
Online Latent Dirichlet Allocation in Haskell
Haskell ★ 1 11y agoExplain → -
mt_decoder
Decoder for Machine Translation.
Python ★ 1 12y agoExplain → -
declarativewidgets ⑂
Jupyter Declarative Widget Extension
HTML ★ 0 10y agoExplain → -
mnist_multi
MNIST with Multiset Labels dataset generation
Python ★ 0 5y agoExplain → -
Portal-to-ISAbelle ⑂
https://albertqjiang.github.io/Portal-to-ISAbelle/
Python ★ 0 2y agoExplain → -
phone-a-friend ⑂
No description.
Python ★ 0 9y agoExplain → -
mxnet ⑂
Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more
C++ ★ 0 9y agoExplain → -
minpy ⑂
Pure NumPy practice with third-party operator integration
Python ★ 0 9y agoExplain → -
spark-kernel ⑂
An implementation of the IPython kernel (3.0) using Scala and providing specific support for Apache Spark.
Scala ★ 0 10y agoExplain → -
haskell_examples
Various simple Haskell examples.
Haskell ★ 0 11y agoExplain → -
cis526-projects ⑂
CIS 526 final homework assignments
Java ★ 0 12y agoExplain →
No repos match these filters.