Alternatives and similar repositories for ultk

Users that are interested in ultk are comparing it to the libraries listed below

• tommccoy1 / inductive-bias-distillation
  ☆18Updated 4 months ago
• stanojevic / Rotating-CCG
  ☆19Updated 4 years ago
• piantado / LOTlib3
  Language of thought library for python 3
  ☆50Updated last year
• rycolab / prefix-parsing
  ☆14Updated last year
• najoungkim / COGS
  ☆62Updated 3 years ago
• i-machine-think / am-i-compositional
  ☆62Updated 2 years ago
• UIUCLearningLanguageLab / AOCHILDES
  Python API for loading language data from American-English CHILDES database
  ☆16Updated 3 years ago
• taylorwwebb / emergent_symbols
  Code for 'Emergent Symbols through Binding in External Memory'.
  ☆21Updated 2 years ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆82Updated last month
• ellisk42 / bpl_phonology
  ☆14Updated 3 years ago
• piantado / Fleet
  ☆63Updated 5 months ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆60Updated 4 years ago
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆36Updated 3 months ago
• rycolab / artificial-languages
  ☆12Updated 3 years ago
• ml-research / nsfr
  The Neuro-Symbolic Forward Reasoner
  ☆26Updated 2 years ago
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆93Updated 2 years ago
• genlm / llamppl
  Probabilistic programming with large language models
  ☆140Updated 2 months ago
• ellisk42 / humanlike_fewshot_learning
  ☆30Updated 2 years ago
• rycolab / bayesian-mi
  This code accompanies the paper "Bayesian Framework for Information-Theoretic Probing" published in EMNLP 2021.
  ☆10Updated 4 years ago
• RichardEvans / apperception
  ☆81Updated 4 years ago
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆45Updated 2 years ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆102Updated 11 months ago
• flxsosa / ProgramSearch
  A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…
  ☆39Updated 5 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated last year
• jacobandreas / bibs
  Annotated bibliographies.
  ☆40Updated 6 years ago
• kanishkamisra / minicons
  Utility for behavioral and representational analyses of Language Models
  ☆163Updated 3 weeks ago
• mikelewis0 / easyccg
  ☆60Updated 7 years ago
• spike-imperial / FastLAS
  ☆20Updated last month
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆38Updated 2 years ago