Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs

Re-assign community