Stars
High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)
The Hitchhiker's Guide to Compression
A proof assistant and a dependently-typed language
Implement recursion using English as the programming language and an LLM as the runtime.
Official repository of the paper "Efficient Neural Causal Discovery without Acyclicity Constraints"
LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
An environment for learning formal mathematical reasoning from scratch
This is the repo for our paper "Mr-Ben: A Comprehensive Meta-Reasoning Benchmark for Large Language Models"
llmstep: [L]LM proofstep suggestions in Lean 4.
COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
[NeurlPS D&B 2024] Generative AI for Math: MathPile
Arxiv llm agent recommender for papers
A Machine-to-Machine Interaction System for Lean 4.
A scalable python-based framework for gene regulatory network inference using tree-based ensemble regressors.
We develop benchmarks and analysis tools to evaluate the causal reasoning abilities of LLMs.
Efficient Full Causal Graph Discovery Using Large Language Models
Efficient Conway's Game of Life implemented in Python using NumPy.
A rather fast Game-of-Life implementation in pure Python (plus pysdl2)
A easy, reliable, fluid template for python packages complete with docs, testing suites, readme's, github workflows, linting and much much more