Hello Ada Fans, I’ve just recently done the Apart AI safety hackathon and I did an ada spark solution to attain the objective …er… safety
called ‘Take away the means’.
The reviewer does not see what I have done with using ada and in my opinion has missed the point of what I did.
I was wondering if an ada spark person would review what I did as they welcome reviews from experts in many fields and my ada spark solution in the next round totally depends on it.
And it should be interesting! Ada in AI what better fit for safety in AI,
Thanks for reading, if you need a web address say so and I’ll put one up
Hi Tony,
can your solution be posted to the forums or can a link to the result be added? What was the feedback that you received from the reviewer? Since we are a small community, waiting for a positive response is not going to be a fast process, I would simply put it forth if possible. Also, what is the second round going to be about?
Finally, Ada/SPARK and AI is a super hot topic. In case you have not seen, I would encourage you to take a look at GNAT Foundry | AdaCore (source code links are below). This is something that AdaCore / @markhermeling are looking into. I have also been using AI with SPARK very heavily these last few weeks with great results.
I hope this helps. Best regards,
Fer