specification synthesis

LLM 寫 TLA+ 還不夠準

30 個 LLM 的測試顯示，它們能產生像樣的 TLA+，但語意正確率仍很低，還不適合直接拿來寫正式規格。