issues
search
mlb2251
/
stitch
A scalable abstraction learning library
MIT License
74
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
How to limit the invention to have a full function form?
#182
citceae
opened
1 week ago
0
Specifications of the grammar for the lisp-style lambda calculus
#181
Niknymusing
opened
3 months ago
0
add ability to filter tags
#180
kavigupta
closed
11 months ago
2
implemented weighting
#179
mlb2251
closed
11 months ago
0
flamegraph in makefile
#178
mlb2251
closed
11 months ago
0
benchmarking.md updates
#177
mlb2251
closed
11 months ago
0
Create benchmarking.md
#176
mlb2251
closed
11 months ago
0
use tagged lambdas and variables
#175
kavigupta
closed
11 months ago
0
add structure penalty
#174
mlb2251
closed
11 months ago
0
added no_curried_metavars and no_curried_bodies as cfg options
#173
mlb2251
closed
1 year ago
0
merging main into lava stitch
#172
mlb2251
closed
1 year ago
0
Fix rewriting edge case by stopping it from pruning
#171
mlb2251
closed
1 year ago
0
enable abstraction_prefix
#170
mlb2251
closed
1 year ago
0
Eta Long ( + small indexing bugfix)
#169
mlb2251
closed
1 year ago
1
cleaned up docstrings
#168
mlb2251
closed
1 year ago
0
allowing rewrite() to produce json output for dreamcoder support etc
#167
mlb2251
closed
1 year ago
0
bump stable to main
#166
mlb2251
closed
1 year ago
0
currently `final_cost` and many printouts and things dont include abstraction size in their output
#165
mlb2251
opened
1 year ago
0
Update README.md
#164
mlb2251
closed
1 year ago
0
Stabilize compress() and rewrite() APIs for Rust, Python, and CLI
#163
mlb2251
closed
1 year ago
0
Update README.md
#162
mlb2251
closed
1 year ago
0
Better Bindings
#161
mlb2251
closed
1 year ago
0
Update README.md
#160
mlb2251
closed
1 year ago
0
slight startup delay
#159
mlb2251
opened
1 year ago
0
Add types to stitch
#158
mlb2251
opened
1 year ago
0
update to clap 4.X
#157
mlb2251
opened
1 year ago
0
add min within task to the various printouts
#156
mlb2251
opened
1 year ago
0
rework output formats
#155
mlb2251
closed
1 year ago
1
allow for rewriting even when there are zero match locations
#154
mlb2251
closed
1 year ago
1
Rewriting under abstractions you didn't find: the followtrack way
#153
mlb2251
closed
1 year ago
1
Remove `egg` dependency
#152
mlb2251
closed
1 year ago
10
Make `--no-opt-single-task` a setting not an optimization
#151
mlb2251
closed
1 year ago
1
`Pruning (ARGUMENT CAPTURE)` can be safely moved to after the new ivars are added to arg_choices
#150
mlb2251
closed
1 year ago
2
update `azero_pruning_cutoff` during arity zero in the NON `cfg.inv_candidates == 1` case as well too
#149
mlb2251
opened
2 years ago
0
remove the `COST_TERMINAL` in Analysis that's still used (no_egg)
#148
mlb2251
closed
1 year ago
1
transition to no egg
#147
mlb2251
closed
1 year ago
1
add context threading
#146
mlb2251
opened
2 years ago
0
Add ability to configure cost function
#145
mlb2251
closed
1 year ago
1
Iterative deepening search?
#144
mlb2251
opened
2 years ago
0
remove `parking_lot` dependency
#143
mlb2251
opened
2 years ago
1
make `clap` not a dependency of stitch unless you want to use the stitch binary
#142
mlb2251
opened
2 years ago
0
feat: new bin for reproducing dataset stats
#141
theoxo
closed
2 years ago
0
pick a better hasher
#140
mlb2251
closed
2 years ago
0
Two ways to tighten upper bound
#139
mlb2251
opened
2 years ago
1
Bottom up Tracking Issue
#138
mlb2251
closed
2 years ago
2
refactor Domain trait and DSL data formats
#137
mlb2251
closed
2 years ago
1
Remove TrustLevel
#136
mlb2251
closed
2 years ago
1
Added minimal train/test splitting
#135
theoxo
closed
2 years ago
0
(WIP) allowing for utility to perform a min() over tasks to more precisely align with the dreamcoder objective
#134
mlb2251
closed
2 years ago
0
interaction between "provably inferior abstractions" and --num-inventions > 1
#133
mlb2251
closed
2 years ago
3
Next