Search papers, labs, and topics across Lattice.
Affiliation:
3
0
1
2
Hippogriff reveals a novel way to maintain general recursion in dependent type systems without sacrificing typechecking efficiency.
Infinite-dimensional probabilistic models can now be efficiently sampled using Hamiltonian Monte Carlo without losing the benefits of lazy evaluation.
Imp allows for precise handling of imprecise probabilities without disrupting established probabilistic programming frameworks, enabling richer modeling of uncertainty.
