Dr Rodrigo de Salvo Braz

Current Projects

Probabilistic Reasoning as Symbolic Evaluation To develop lifted inference algorithms for solving probabilistic models expressed by Turing-complete probabilistic programming languages.

Past Projects

FAUST (Flexible Acquisition and Understanding System for Text) SRI is developing an automated reading system that makes the information in text accessible to a range of formal reasoning systems.

Publications

The following are in reverse chronological order of publication.
[View All]

• Bui, H. and Huynh, T. and de Salvo Braz, R. Exact lifted inference with distinct soft evidence on every object, in AAAI, 2012.  [PDF, Details]

• Choi, J. and de Salvo Braz, R. and Bui, H. Efficient Methods for Lifted Inference with Aggregate Factors, in AAAI 2011, 2011.  [PDF, Details]