Skip to content

GenJAX v1.0.5 - POPL 2026 Canonical Artifact

Choose a tag to compare

View all tags
@femtomc femtomc released this 13 Oct 19:50
· 103 commits to main since this release
v1.0.5
b7ac547

GenJAX v1.0.5 - POPL 2026 Canonical Artifact

This is the canonical version for POPL 2026 artifact evaluation.

DOI

About GenJAX

GenJAX is a probabilistic programming language (PPL) designed around programmable inference - automation that allows users to express and customize Bayesian inference algorithms.

What's Included

  • Complete GenJAX implementation with source code and comprehensive tests
  • Four case studies from the empirical evaluation:
    • Fair Coin (Beta-Bernoulli conjugate inference) → Figure 16 (a)
    • Curve Fitting with Outlier Detection → Figures 4, 5, 6
    • Game of Life Inverse Dynamics → Figure 18
    • Robot Localization with SMC → Figure 19

Reproducing Paper Figures

pixi install
pixi run paper-figures        # CPU execution (~4 minutes on Apple M4)
pixi run paper-figures-gpu    # GPU execution (requires CUDA 12)

Note: Multi-system benchmarking figure (Fig 16, b) code is in git history but requires complex deployment setup.

Changes in v1.0.5

  • Enhanced artifact evaluation guidance:
    • Added note about which figures are reproducible in the artifact
    • Added CPU vs GPU execution property expectations
    • Added paper figure references for each case study
    • Added timing guidance (CPU takes ~4 minutes on Apple M4)
    • Clarified scaling behavior differences between CPU and GPU

Version History

  • v1.0.5 (CURRENT): Enhanced documentation for artifact evaluation
  • v1.0.4: Complete author metadata with ORCIDs
  • v1.0.3: Documentation updates
  • v1.0.2: Version consolidation
  • v1.0.1: MCMC acceptance tracking fix

Citation

See CITATION.cff in the repository for complete citation information with all 10 authors and their ORCID identifiers.

Assets 2
Loading