Add Semi-Formal Reasoning system prompt section

Professionalize model card: structured overview, usage examples, training details, limitations, citation

Upload README.md

Add README