akkaygin's comments

On: Fine-tuning LLMs is a waste of time

[akkaygin]

What is your (company's) motivation behind using non-deterministic tools for "verification" instead of actually verifying designs using formal methods?