• 2 Posts
  • 29 Comments
Joined 11 months ago
cake
Cake day: June 8th, 2024

help-circle
  • Very interesting. Fixing one of the most common flaws of LLMs. If you can force them to follow proper structure they can generate better batch of test data samples, correct mathematical proofs in Lean, proper conlang words and sentences, proper json output for latter use by another tools, and obviously correct code generation in a specific version of a programming language.