https://www.sococo.com/

Great presentation - thanks for that - How do you see verification languages as potential oracles?

Under the hood is a basic BDD type language with ‘checks’, called ‘AIT’. Tarq forgot it :)

Good presentation!

How large is the powerpoint file?

How to train the model, if we have less data? Is there any technique available?

Did you say you using GO to write scripts in

excellent presentation! thanks Tarq

Hello, Sorry I joined the session in the second half. Can you pls provide some techniques to test AI models across domains i.e. from NLP to CV. Incase you have talked abt it in your session, kindly ignore it. I will check your session later :)

great presentation, Tariq!

https://www.test.ai/research/testing-ai-and-bias

Thanks everyone!