A company developing systems with machine learning for property verification of transactions and give accurate valuations