Update README.md

README.md

@@ -26,4 +26,27 @@ model_inputs = [get_prompt(text)]
 
 print(model_inputs[0])
 
+### Example output : 
+
+
+<theorem>
+theorem mathd_numbertheory_3 : (∑ x in Finset.range 10, (x + 1) ^ 2) % 10 = 5 := by
+</theorem>
+<conjecture>
+ theorem mathd_numbertheory_24 : ∑ k in Finset.range 11, k ^ 2 = 385 := by
+</conjecture>
+
+### Inference
+model = LLM(model=model_name, seed=1, trust_remote_code=True, swap_space=8, tensor_parallel_size=1, max_model_len=4096)
+
+sampling_params = SamplingParams(
+    temperature=1,
+    max_tokens=2048,
+    top_p=0.95,
+    n=1,
+)
+
+model_outputs = model.generate(model_inputs, sampling_params, use_tqdm=True)
+print(model_outputs[0].outputs[0].text)
+