Pith. sign in

REVIEW 1 cited by

Semantics of higher-order probabilistic programs with conditioning

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1902.11189 v1 pith:H7O7JWFU submitted 2019-02-28 cs.LO cs.LGcs.PL

Fredrik Dahlqvist , Dexter Kozen This is my paper · ORCID
classification cs.LOcs.LGcs.PL
keywords semanticsbanachhigher-orderprogramsspacesprobabilistictermsallow
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

We present a denotational semantics for higher-order probabilistic programs in terms of linear operators between Banach spaces. Our semantics is rooted in the classical theory of Banach spaces and their tensor products, but bears similarities with the well-known Scott semantics of higher-order programs through the use ordered Banach spaces which allow definitions in terms of fixed points. Being based on a monoidal rather than cartesian closed structure, our semantics effectively treats randomness as a resource.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Dynamic ETF Portfolio Optimization Using enhanced Transformer-Based Models for Covariance and Semi-Covariance Prediction(Work in Progress)

    q-fin.PM 2024-11 reject novelty 4.0 of 10

    Transformer-based covariance and semi-covariance forecasts are claimed to improve ETF portfolio returns, but the supporting backtest is short, leaky, and unreproducible.

Pith tools