quantified.uncertainty/squiggle
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,862 Commits 74 Branches 5 Tags 16 MiB
3c3c88fb7b
Commit Graph

431 Commits

Author SHA1 Message Date
Quinn Dougherty
3c3c88fb7b ...Resolution => ..Answer 2022-05-16 12:06:21 -04:00
Quinn Dougherty
30ab62e9b8 backed out of mutually recursive dispatch 
Value: [1e-5 to 1e-3]
 2022-05-16 12:03:37 -04:00
Quinn Dougherty
8710248a22 Merge remote-tracking branch 'origin/develop' into score-dist-on-scalar-resolution 2022-05-13 16:41:00 -04:00
Sam Nolan
95d0212ffc Remove redundant defaultEnv 2022-05-13 20:23:41 +00:00
Sam Nolan
80e05ea5be Pass environment down to GenericDist 2022-05-13 20:16:52 +00:00
Quinn Dougherty
bdbb86aa9e logScore on records now interprets almost every which way we're 
interested in

Value: [1e-3 to 9e-1]
 2022-05-13 16:15:04 -04:00
Quinn Dougherty
b4a1137019 Implemented correct math underlying logScoreWithPointResolution 
Value: [1e-2 to 7e-1]

Realized that I need to switch argument order, put `prior` last maybe.
 2022-05-13 15:43:59 -04:00
Quinn Dougherty
3eef57f855 proof of concept for records as arguments 
Value: [1e-3 to 8e-1]
 2022-05-13 13:18:52 -04:00
Quinn Dougherty
2ab395b4e5 Some minor CR 
Value: [1e-10 to 1e-4]
 2022-05-12 16:03:29 -04:00
Quinn Dougherty
65751e590a Fixed logScoreAgainstImproperPrior by finding how it was None 
Value: [1e-4 to 8e-2]
 2022-05-12 15:26:51 -04:00
Quinn Dougherty
51310819a1 logScore now in interface. 
Value: [1e-4 to 1e-1]
 2022-05-12 14:16:52 -04:00
Quinn Dougherty
978e149913 Initialized logScore and logScoreAgainstImproperPrior 
Value: [1e-5 to 6e-3]
 2022-05-12 13:11:51 -04:00
Quinn Dougherty
eee9a46c37 Improved comment for enrich 
Value: [1e-9 to 1e-6]
 2022-05-12 11:16:51 -04:00
Quinn Dougherty
f5e3701a79 Clean up for CR 
Value: [1e-7 to 43-4]
 2022-05-12 09:51:20 -04:00
Quinn Dougherty
26afc96495 Tests are as good as I can get them 
Value: [1e-4 to 1e-2]
 2022-05-11 15:12:36 -04:00
Sam Nolan
b2a972605d (rebase): Function charting 2022-05-11 14:19:36 -04:00
NunoSempere
5c9f57a24a fix: Attain parity with previous implementation 
This is achieved by not adding more points in between i
the points are already pretty close
 2022-05-11 12:56:56 -04:00
NunoSempere
599c14b32c tweak: Pass off to Quinn 2022-05-11 12:39:03 -04:00
NunoSempere
4df4597ed3 fix: "Enrich" (add more x points) when integrating 
in order to get more numerical precision.
Note: not complete yet.

Value: [1e-3 to 3e-1]
 2022-05-11 12:23:36 -04:00
Quinn Dougherty
0b8da034c6 klDivergence on mixed distributions works for one test case 
Value: [1e-4 to 5e-2]
 2022-05-10 19:59:50 -04:00
Quinn Dougherty
b7e18b4f9d Simplified tree in squiggle-lang/src/rescript/Distributions 
Value: [1e-8 to 1e-4]
 2022-05-10 16:43:37 -04:00
Quinn Dougherty
465383205a Fixed lint 
Value: [1e-10 to 1e-6]
 2022-05-10 16:34:03 -04:00
Quinn Dougherty
216ede45b2 Fixed Bisect 
Value: [1e-5 to 1e-3]
 2022-05-10 16:27:34 -04:00
Quinn Dougherty
f7690c33e0 Some cleanup 
Value: [1e-4 to 1e-2]
 2022-05-10 11:56:13 -04:00
Quinn Dougherty
15f1ebb429 KLDivergence on discretes is passing 
Value: [1e-3 to 2e-1]
 2022-05-10 11:27:59 -04:00
Quinn Dougherty
ccd55ef8f1 good evening, not working yet, but out of time for the night 
Value: [1e-6 to 1e-4]
 2022-05-09 19:17:27 -04:00
Quinn Dougherty
b2d80eef86 Removed negative infinity error handling 
Value: [1e-5 to 1e-3]
 2022-05-09 18:28:35 -04:00
Quinn Dougherty
59edd7122e wrapped error in function 
Value: [1e-5 to 1e-3]
 2022-05-09 15:24:46 -04:00
Quinn Dougherty
814a5f2c58 mx polymorphism 
Value: [1e-3 to 2e-2]
 2022-05-09 15:19:56 -04:00
Quinn Dougherty
06352357a2 response to CR 
Value: [1e-5 to 5e-3]
 2022-05-09 11:14:33 -04:00
Quinn Dougherty
28cb6b9c88 Final cleanup, but typescript is still borked 
Value: [1e-8 to 1e-6]
 2022-05-06 15:09:00 -04:00
Quinn Dougherty
722bfc6366 All three tests pass 
- `uniform` `toPointSet` method has been changed for numerical
stability.

Value: [1e-1 to 1.75e0]
 2022-05-06 13:58:15 -04:00
NunoSempere
d9a40c973a feat: Get KL divergence working except in case of numerical errors () 
- Quinn was of great help here.
- I also left some dead code, which still has to be cleaned up
- There are still very annoying numerical errors, so I left one test
failing. These are due to how the interpolation is done
- Quinn to pick up from here

Value: [0.6 to 2]
 2022-05-06 12:26:51 -04:00
NunoSempere
5dd272fb0c tweak: Add tests for combineAlongSupportOfSecondArgument 2022-05-06 11:45:11 -04:00
NunoSempere
cc3db79a2a feat: kl function but no dealing with errors yet 2022-05-06 10:49:04 -04:00
NunoSempere
b393af8762 tweak: start building new function from scratch 2022-05-06 10:04:41 -04:00
NunoSempere
87d6f8d4f6 fix: change integrand check order in KL divergence code 2022-05-06 09:49:42 -04:00
Quinn Dougherty
fd17da83b8 Merge remote-tracking branch 'origin/develop' into log-score-attempt 2022-05-05 20:42:39 -04:00
Quinn Dougherty
38d1c7aa61 Cleanup with option<(float, float, float)> 
Value: [1e-5 to 1e-3]
 2022-05-05 20:42:05 -04:00
Quinn Dougherty
dcf56d7bc6 combineAlongSupportOfSecondArgument implemented, tests still failing 
Value: [1e-4 to 4e-2]
 2022-05-05 20:02:12 -04:00
Quinn Dougherty
b49865d3aa progress on klDivergence (still working) 
Value: [1e-5 to 1e-2]
 2022-05-05 15:37:28 -04:00
Umur Ozkul
99f54f596c ternary operator (tested) 2022-05-04 22:36:34 +02:00
Umur Ozkul
888b615445 Merge branch 'reducer-dev-F-ifthenelse' into ternary 
packages/squiggle-lang/src/rescript/Reducer/Reducer_Dispatch/Reducer_Dispatch_BuiltInMacros.res
packages/squiggle-lang/src/rescript/Reducer/Reducer_Expression/Reducer_Expression.res
packages/squiggle-lang/src/rescript/Reducer/Reducer_Expression/Reducer_Expression_Builder.res
packages/squiggle-lang/src/rescript/Reducer/Reducer_MathJs/Reducer_MathJs_ToExpression.res
 2022-05-04 21:51:15 +02:00
Quinn Dougherty
6211d3cfb0 Some sorta klDivergence conclusion 
Value: [1e-6 to 1e-3]
 2022-05-04 14:55:49 -04:00
Umur Ozkul
85b8333a09 Merge branch 'develop' into Umur-reducer-dev 2022-05-04 20:45:48 +02:00
Umur Ozkul
ad220ed2b4 foreign function interface 2022-05-04 20:44:46 +02:00
Quinn Dougherty
898547f3a3 klDivergence is now LogarithmWithThreshold 2022-05-04 13:53:32 -04:00
Quinn Dougherty
cfa83e552d Merge remote-tracking branch 'origin/develop' into log-score-attempt 2022-05-04 13:05:40 -04:00
Quinn Dougherty
c95c56cfb8 Added logScaleWithThreshold(eps) and completed renaming to 
`klDivergence`

Value: [1e-5 to 1e-3]
 2022-05-04 13:02:58 -04:00
Ozzie Gooen
268f138dcf
Merge pull request #478 from quantified-uncertainty/reducer-dev 
Reducer dev: map, reduce, reduceReverse, keep
 2022-05-04 12:27:03 -04:00