lorepozo / program-induction

Related projects ⓘ

Alternatives and complementary repositories for program-induction

• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆51Updated last year
• oracleofnj / einsum
  Einstein summation for Rust
  ☆34Updated 3 years ago
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆73Updated 2 years ago
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆48Updated 4 years ago
• google-research / crossbeam
  ☆43Updated last year
• Tractables / Dice.jl
  ☆17Updated this week
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆15Updated last year
• 51alg / TerpreT
  ☆42Updated 7 years ago
• KhaledSharif / TsetlinMachine
  An implementation of the Tsetlin Machine in Rust
  ☆15Updated 6 years ago
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆39Updated last month
• botev / meta_diff
  ☆9Updated 9 years ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆74Updated 11 months ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated last year
• statusfailed / numeric-optics-python
  ☆23Updated 2 years ago
• AtheMathmo / rugrads
  A proof of concept automatic differentiation library for Rust
  ☆23Updated 6 years ago
• pengowen123 / cmaes
  A Rust implementation of the CMA-ES optimization algorithm.
  ☆32Updated 2 years ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 3 years ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 2 years ago
• kkimdev / autograd
  Automatic differentiation library written in Rust.
  ☆8Updated 8 years ago
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated 11 months ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆17Updated 2 years ago
• Eh2406 / quadrature
  Fast Numerical Integration
  ☆22Updated 5 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆52Updated 2 months ago
• opencompl / egg-tactic-code
  ☆13Updated last year
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated last month
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆76Updated 4 months ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆25Updated 4 months ago
• louiskirsch / vsml-neurips2021
  Code for "Meta Learning Backpropagation And Improving It" @ NeurIPS 2021 https://arxiv.org/abs/2012.14905
  ☆31Updated 2 years ago
• lenianiva / PyPantograph
  A Machine-to-Machine Interaction System for Lean 4.
  ☆14Updated last week
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago