Add specs for inference algorithms