“I think it’s extraordinarily important that we in computer science keep fun in computing.”
Alan J. Perlis – ACM Turing Award Winner 1966.
Infer.NET Fun turns the simple succinct syntax of F# into an executable modeling language for Bayesian machine learning.
We propose a marriage of probabilistic functional programming with Bayesian reasoning. Infer.NET Fun turns F# into a probabilistic modeling language – you can code up the conditional probability distributions of Bayes’ rule using F# array comprehensions with constraints. Write your model in F#. Run it directly to synthesize test datasets and to debug models. Or compile it with Infer.NET for efficient statistical inference. Hence, efficient algorithms for a range of regression, classification, and specialist learning tasks derive by probabilistic functional programming.
Tabular brings the power of Infer.NET Fun to spreadsheet users, via a domain-specific languages for probabilistic models designed to be authored within the spreadsheet, taking machine learning to where the data is.
- April 2015: new version released of the Excel addin.
- November 2014: the full version of our ESOP 2015 paper on embedding Tabular in spreadsheets is out.
- June 2014: Tabular is available as an Excel addin.
- March 2014: Tabular is being shown at TechFest’14.
- January 2014: catch up with the slides from Andy’s POPL talk on Tabular, now available on the web.
- December 2013: the full version of our POPL 2014 paper on Tabular is out. Tabular is a new schema-driven approach to probabilistic programming: don’t make the programming language probabilistic, make the schema probabilistic.
- August 2013: our paper on measure transformer semantics for probabilistic programs has been accepted by the journal LMCS.
- March 2013: our TACAS paper wins the EAPLS Best Paper Award for ETAPS 2013. Let’s you drive MCMC samplers like Filzbach from Fun programs.
- Read Andy Gordon’s position statement An Agenda for Probabilistic Programming: Usable, Portable, and Ubiquitous for the ISAT/DARPA workshop on “Probabilistic Programming: Democratizing Machine Learning”, Menlo Park, February 2013.
- See here for Andy Gordon’s talk at POPL 2013, which explains the 5 distributions of a Bayesian model as 5 probabilistic programs in F#.
- And see here for Andy Gordon’s Probabilistic Programming talk at OBT 2013.
- See here for the slides and video of Andy Gordon’s Infer.NET Fun talk at Lang.NEXT 2012.
Some current participants in the Infer.NET Fun project:
- Mihhail Aizatulin (Open University)
- Johannes Borgström (Uppsala University)
- Andy Gordon (Microsoft Research Cambridge)
- Thore Graepel (Microsoft Research Cambridge)
- Aditya Nori (Microsoft Research Bangalore)
- Sriram Rajamani (Microsoft Research Bangalore)
- Claudio Russo (Microsoft Research Cambridge)
Since September 2012, Infer.NET Fun is a component of Infer.NET.
Senior Principal Research Manager
General Manager, Healthcare
Distinguished Scientist and Managing Director, Microsoft Research India Lab