Things have moved on since then, as artificial intelligence has started being used in formalisation, [...]
With how AI works fundamentally, wouldn't you still need to verify the results generated by AI? Doesn't seem like an applicable field for it, at least in its current state.
With how AI works fundamentally, wouldn't you still need to verify the results generated by AI? Doesn't seem like an applicable field for it, at least in its current state.