Search Results for author:
Found 3 papers, 1 papers with code
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal
Over the last decades, a class of important mathematical results have required an ever increasing amount of human effort to carry out.
Embracing the Laws of Physics: Three Reversible Models of Computation
We then consider a structured notion of data based on the Curry-Howard correspondence; here reversible deformations, as a programming language for witnessing type isomorphisms, comes from proof terms for commutative semirings.
Programming Languages Logic in Computer Science Category Theory Quantum Physics 68Q05
From high-level inference algorithms to efficient code
They are algorithms whose idiomatic expression requires random array variables that are latent or whose likelihood is conjugate.
Programming Languages Probability
