issues
search
kach
/
memo
A domain-specific probabilistic programming language for reasoning about reasoning
https://pypi.org/project/memo-lang/
37
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Refer to Python-level variables via {}?
#74
kach
opened
4 days ago
0
first pass at implementing entropy
#73
chentoast
closed
1 week ago
4
to_maximize now hedges when there are multiple maximizers
#72
chentoast
opened
3 weeks ago
14
entropy
#71
kach
closed
1 week ago
2
should to_maximize hedge when provided equal options?
#70
kach
opened
1 month ago
0
wip
#69
chentoast
closed
2 weeks ago
0
to_maximize should return a sparse tensor
#68
kach
opened
2 months ago
2
benchmarks & comparisons
#67
kach
closed
1 month ago
1
experiment with running jax on apple GPU
#66
kach
closed
1 month ago
4
add link to JAX FAQ to documentation somewhere prominent
#65
kach
closed
2 months ago
1
staticness should be inferred at parse-time (rather than at compile-time via Values)
#64
kach
closed
2 months ago
0
`knows` should be variadic
#63
kach
closed
3 months ago
2
integrate with jaxmarl
#62
kach
opened
3 months ago
0
better document distinction between observes vs knows
#61
kach
opened
3 months ago
1
more ergonomic way to return posterior (E[speaker.n == n]…)
#60
kach
closed
1 week ago
4
Syntactic sugar for probability
#59
kach
closed
3 months ago
2
Error message for no type signature on []s in @memo def…
#58
kach
closed
2 months ago
0
Warning for when wpp doesn't depend on variable being chosen
#57
kach
closed
3 months ago
1
Defining intermediate variables
#56
kach
opened
3 months ago
0
jax import error
#55
tobiasgerstenberg
closed
3 months ago
2
cross-compile to wasm for creating browser-based demos of memo programs?
#54
kach
opened
3 months ago
0
memo.common ?
#53
chentoast
opened
3 months ago
1
show 7-segment display with differentiable graphics
#52
kach
opened
4 months ago
0
a demo integrating physics simulation with brax/taps
#51
kach
opened
4 months ago
0
issue interspersing JIT compilation with dynamic programming
#50
kach
closed
2 months ago
1
automatic visualizations of memos in "comic book" format with nested thought bubbles
#49
kach
closed
1 week ago
3
at root level, unknown choice error should suggest that maybe you meant it to be a forall
#48
kach
closed
4 months ago
0
facility to say "imagine[ rest of this memo ]"
#47
kach
opened
4 months ago
2
fix several bugs and add a POMDP example
#46
kach
closed
4 months ago
1
output dimensions are reversed :-/
#45
kach
closed
2 months ago
1
add more ops
#44
kach
closed
4 months ago
0
wip: argmax in chooses
#43
chentoast
closed
4 months ago
2
knows(x) as shorthand for knows(self.x) -- similarly for memo calls
#42
kach
closed
4 months ago
0
saliva example
#41
kach
closed
2 months ago
1
cost of thinking (for resource rationality)
#40
kach
closed
2 months ago
1
automatic facility for belief space discretization
#39
kach
opened
4 months ago
4
side-by-side memo/webppl examples
#38
kach
opened
4 months ago
1
argmax wpp
#37
kach
closed
4 months ago
1
@memo debug flags (e.g. print compiled source, …)
#36
kach
closed
2 months ago
1
function calls with no arguments
#35
chentoast
closed
4 months ago
0
option to cache a memo to disk if the source hasn't changed (can compare hash of Stmt)
#34
kach
opened
4 months ago
3
store source loc in Exprs and Stmts for use in error messages
#33
kach
closed
4 months ago
1
first pass at calling other memo functions
#32
chentoast
closed
4 months ago
0
introduce a static flag to values
#31
chentoast
closed
4 months ago
0
new syntax for foralls
#30
chentoast
closed
4 months ago
1
unbox output to proper shape
#29
kach
closed
4 months ago
0
tests
#28
kach
closed
1 month ago
2
documentation
#27
kach
opened
4 months ago
2
"function calling" another memo
#26
kach
closed
4 months ago
3
FFI
#25
kach
closed
4 months ago
0
Next