Comment
Comment by theowaway213456
Can't the non-deterministic LLM produce deterministic software? Assuming it is not allowed to modify the theorem proving software.
No comments yet
Be the first to share your thoughts.
Be the first to share your thoughts.