3·
1 month agoThe LLM will just make up lies in the formal verification.
- 0 Posts
- 2 Comments
Joined 3 years ago
Cake day: August 23rd, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
Many? Wasn’t it only 2?