Personal social care budget

Does any stage of decision making across benefits and welfare (defined as including but not limited to allocation of social housing, personal social care budgets, council tax support and the assessment of fraud within) presently involve automation, AI or algorithms at your council?

For clarity, automation may include (non-exhaustively), predictive analytics (ie to assess rent arrears or child welfare risks), risk assessment of claims (commonly known as risk based verification), the use of computer programs or algorithms to guide resource allocation, the use of datasets to guide how benefits are processed and disbursed.