mlb2251 / stitch
A scalable abstraction learning library
☆74Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for stitch
- ☆43Updated last year
- An environment for learning formal mathematical reasoning from scratch☆53Updated 3 months ago
- ☆52Updated 2 years ago
- ☆24Updated last year
- Language-annotated Abstraction and Reasoning Corpus☆78Updated last year
- A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…☆36Updated 4 years ago
- A domain-specific probabilistic programming language for reasoning about reasoning☆39Updated this week
- llmstep: [L]LM proofstep suggestions in Lean 4.☆119Updated last year
- Proof artifact co-training for Lean☆42Updated last year
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆66Updated 5 months ago
- Interactive neural theorem proving in Lean☆118Updated 2 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆80Updated last year
- Benchmark for undergraduate-level formal mathematics☆94Updated last month
- A Machine-to-Machine Interaction System for Lean 4.☆16Updated last week
- Probabilistic programming with HuggingFace language models☆88Updated this week
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 5 months ago
- Materials for ConceptARC paper☆77Updated 2 weeks ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆24Updated 8 months ago
- ☆176Updated last year
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆80Updated last year
- Formalizing stochastic doubly-efficient debate☆92Updated last month
- Scalable training and inference for Probabilistic Circuits☆49Updated last week
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆58Updated 3 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆37Updated last year
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 4 years ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆112Updated last year
- Composable inference algorithms with LLMs and programmable logic☆17Updated this week
- ☆34Updated this week
- Tutorial on neural theorem proving☆157Updated 10 months ago
- Framework and Language for Neurosymbolic Programming.☆211Updated 2 months ago