code wiki / (root) / sketch_ucb1_test.nx

sketch_ucb1_test.nx

buildroot/runtime/sketch_ucb1_test.nx

4231 B123 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic sketch
docsdependenciesstructsconstsfunctions

about

sketch_ucb1_test.nx -- multi-armed bandit verification.

dependencies 3 imports · 0 importers

syscalls.nx sketch_ucb1.nx sketch_types.nx sketch_ucb1_test.nx

imports: syscalls.nxsketch_ucb1.nxsketch_types.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_ucb_alloc nx_ucb_select nx_ucb_score nx_ucb_ln_ppm nx_ucb_bitlen nx_ucb_isqrt nx_ucb_update reward_for nx_ucb_best_arm nx_ucb_mean_ppm nx_ucb_count nx_ucb_mean_ppm ↻ iabs nx_ucb_query nx_ucb_mean_ppm ↻ nx_ucb_isqrt ↻ nx_approx_new nx_ucb_isqrt ↻

structs

none

consts

none

functions

7func iabs(x: i64) -> i64 {
called by 1: main
15func reward_for(arm: i64, pull_idx: i64) -> i64 {
called by 1: main
25func main() -> i64 {
calls 10: nx_ucb_allocnx_ucb_selectnx_ucb_updatereward_fornx_ucb_best_armnx_ucb_count+4