← back to paper

Review history

arxiv: 2605.13526 · 2 revisions

Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic

1. 2026-05-19 UNVERDICTED LOW v0.9.0 novelty 7.0
   65236 ms 5712 in 1296 out 2026-05-19T13:57:37.450407+00:00
2. 2026-05-14 ACCEPT LOW v0.9.0 novelty 8.0
   47898 ms 5481 in 1287 out 2026-05-14T18:24:00.056657+00:00