On-device research index

arXiv research

A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.

169,051 papers · 148 categories

Trend · papers per month

count % of corpus

2 results for “SlicStan”

Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministiccs.PL

SlicStan improves Stan's usability and efficiency.

problem Stan's block syntax sacrifices usability for scalability.

method Formalized Stan, introduced SlicStan with compositional syntax and flexible functions.

result SlicStan facilitates better code reuse and abstraction.

probabilistic programming Stan SlicStan compositional syntax flexible functions

2018-11-02abs ↗pdf ↗

Conditional independence by typingcs.PL

Type system captures CI relationships for probabilistic models.

problem Challenges in inference for models with mixed discrete and continuous parameters.

method Information flow type system for probabilistic programming.

result Well-typed programs guarantee certain CI relationships.

conditional independence probabilistic programming type system inference mixed parameters

2020-10-22abs ↗pdf ↗