wellecks
Follow
-
ntptutorial Public
Tutorial on neural theorem proving
-
lm-evaluation-harness Public
Forked from EleutherAI/lm-evaluation-harnessA framework for few-shot evaluation of autoregressive language models.
-
llmstep Public
llmstep: [L]LM proofstep suggestions in Lean 4.
-
-
overlap Public
Tool for n-gram overlap analysis between test and training sequences
-
llemma_formal2formal Public
Llemma formal2formal (tactic prediction) theorem proving experiments
-
Portal-to-ISAbelle Public
Forked from albertqjiang/Portal-to-ISAbellehttps://albertqjiang.github.io/Portal-to-ISAbelle/
Python BSD 3-Clause "New" or "Revised" License UpdatedSep 27, 2023 -
miniF2F Public
Forked from facebookresearch/miniF2FAn updated version of miniF2F with lots of fixes and informal statements / solutions.
-
goat Public
Forked from haileyschoelkopf/goatGOAT dataset without ChatGPT-written templates
-
naturalprover Public
NaturalProver: Grounded Mathematical Proof Generation with Language Models
-
-
naturalproofs Public
NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)
-
symbolic_generalization Public
Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics (AAAI 2022)
-
-
-
nonmonotonic_text Public
Non-Monotonic Sequential Text Generation (ICML 2019)
-
gdown.pl Public
Forked from circulosmeos/gdown.plGoogle Drive direct download of big files
Perl GNU General Public License v3.0 UpdatedFeb 3, 2019 -
-
-
minpy Public
Forked from dmlc/minpyPure NumPy practice with third-party operator integration
Python Other UpdatedJan 17, 2017 -
mxnet Public
Forked from apache/mxnetLightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more
C++ Other UpdatedJan 8, 2017 -
vaes Public
Variational Autoencoders & Normalizing Flows Project
-
spark-kernel Public
Forked from josephwinston/spark-kernelAn implementation of the IPython kernel (3.0) using Scala and providing specific support for Apache Spark.
Scala Apache License 2.0 UpdatedJan 7, 2016 -
declarativewidgets Public
Forked from jupyter/declarativewidgetsJupyter Declarative Widget Extension
HTML Other UpdatedDec 15, 2015 -
lda_tweets Public
Latent Dirichlet Allocation on tweets
-
online_lda_python Public
Online LDA using Hoffman's Python Implementation
-
-
-
-
cis526-projects Public
Forked from jweese/cis526-projectsCIS 526 final homework assignments
Java UpdatedApr 16, 2014