Funsor Core:

• Operations
  • Operation classes
  • Builtin operations
  • Array operations
• Domains
  • Bint
  • BintType
  • Dependent
  • Domain
  • Real
  • Reals
  • RealsType
  • bint()
  • find_domain()
  • reals()
• Interpretations
  • Interpreter
  • Interpretations
  • Monte Carlo
  • Preconditioning
  • Approximations
  • Evidence lower bound
• Funsors
  • Basic Funsors
  • Delta
  • Tensor
  • Gaussian
  • Joint
  • Contraction
  • Integrate
  • Constant
• Optimizer
  • unfold_contraction_generic_tuple()
  • unfold_contraction_variadic()
  • optimize_contraction_variadic()
  • eager_contract_base()
  • optimize_contract_finitary_funsor()
  • apply_optimizer()
• Adjoint Algorithms
  • AdjointTape
  • forward_backward()
  • adjoint()
  • adjoint_binary()
  • adjoint_reduce()
  • adjoint_contract_unary()
  • adjoint_contract_generic()
  • adjoint_contract()
  • adjoint_cat()
  • adjoint_subs()
  • adjoint_scatter()
• Sum-Product Algorithms
  • partial_unroll()
  • partial_sum_product()
  • dynamic_partial_sum_product()
  • modified_partial_sum_product()
  • sum_product()
  • naive_sequential_sum_product()
  • sequential_sum_product()
  • mixed_sequential_sum_product()
  • naive_sarkka_bilmes_product()
  • sarkka_bilmes_product()
  • MarkovProductMeta
  • MarkovProduct
  • eager_markov_product()
• Affine Pattern Matching
  • affine_inputs()
  • extract_affine()
  • is_affine()
• Funsor Factory
  • Fresh
  • Bound
  • Has
  • make_funsor()
• Testing Utiltites
  • xfail_if_not_implemented()
  • xfail_if_not_found()
  • requires_backend()
  • excludes_backend()
  • ActualExpected
  • id_from_inputs()
  • is_array()
  • assert_close()
  • check_funsor()
  • xfail_param()
  • make_einsum_example()
  • assert_equiv()
  • rand()
  • randint()
  • randn()
  • random_scale_tril()
  • zeros()
  • ones()
  • empty()
  • random_tensor()
  • random_gaussian()
  • random_mvn()
  • make_plated_hmm_einsum()
  • make_chain_einsum()
  • make_hmm_einsum()
  • iter_subsets()
  • DesugarGetitem
• Typing Utiltites
  • GenericTypeMeta
  • Variadic
  • deep_isinstance()
  • deep_issubclass()
  • deep_type()
  • get_args()
  • get_origin()
  • get_type_hints()
  • register_subclasscheck()
  • typing_wrap

Interfaces:

• Recipes using Funsor
• forward_filter_backward_rsample()
• forward_filter_backward_precondition()
• Pyro-Compatible Distributions
  • FunsorDistribution Base Class
  • Hidden Markov Models
  • Conversion Utilities
• Distribution Funsors
  • Distribution
  • Beta
  • Cauchy
  • Chi2
  • BernoulliProbs
  • BernoulliLogits
  • Binomial
  • Categorical
  • CategoricalLogits
  • Delta
  • Dirichlet
  • DirichletMultinomial
  • Exponential
  • Gamma
  • GammaPoisson
  • Geometric
  • Gumbel
  • HalfCauchy
  • HalfNormal
  • Laplace
  • Logistic
  • LowRankMultivariateNormal
  • Multinomial
  • MultivariateNormal
  • NonreparameterizedBeta
  • NonreparameterizedDirichlet
  • NonreparameterizedGamma
  • NonreparameterizedNormal
  • Normal
  • Pareto
  • Poisson
  • StudentT
  • Uniform
  • VonMises
• Mini-Pyro Interface
  • Mini Pyro
  • Distribution
  • get_param_store()
  • Messenger
  • trace
  • replay
  • block
  • seed
  • CondIndepStackFrame
  • PlateMessenger
  • tensor_to_funsor()
  • log_joint
  • apply_stack()
  • sample()
  • param()
  • plate()
  • PyroOptim
  • Adam
  • ClippedAdam
  • SVI
  • Expectation()
  • elbo()
  • ELBO
  • Trace_ELBO
  • TraceMeanField_ELBO
  • TraceEnum_ELBO
  • Jit
  • Jit_ELBO
  • JitTrace_ELBO()
  • JitTraceMeanField_ELBO()
  • JitTraceEnum_ELBO()
• Einsum Interface
  • naive_contract_einsum()
  • naive_einsum()
  • naive_plated_einsum()
  • einsum()
• Compiler & Tracer
  • lower()
  • trace_function()
  • OpProgram

Tutorials and Examples

• Named tensor notation with funsors (Part 1)
• Example: Adam optimizer
• Example: Discrete HMM
• Example: Switching Linear Dynamical System EEG
• Example: Forward-Backward algorithm
• Example: Kalman Filter
• Example: Mini Pyro
• Example: PCFG
• Example: Biased Kalman Filter
• Example: Switching Linear Dynamical System
• Example: Talbot’s method for numerical inversion of the Laplace transform
• Example: VAE MNIST