Update README.md
Browse files
README.md
CHANGED
|
@@ -141,9 +141,15 @@ response = client.chat.completions.create(
|
|
| 141 |
reasoning_effort=REASONING,
|
| 142 |
tools=tools,
|
| 143 |
)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 144 |
```
|
| 145 |
|
| 146 |
-
_Example
|
| 147 |
<details>
|
| 148 |
<summary>Expand</summary
|
| 149 |
```
|
|
@@ -239,4 +245,19 @@ response = client.chat.completions.create(
|
|
| 239 |
reasoning_effort=REASONING,
|
| 240 |
tools=tools,
|
| 241 |
)
|
| 242 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 141 |
reasoning_effort=REASONING,
|
| 142 |
tools=tools,
|
| 143 |
)
|
| 144 |
+
|
| 145 |
+
print("Content")
|
| 146 |
+
print(response.choices[0].message.content)
|
| 147 |
+
|
| 148 |
+
pritn("Reasoning")
|
| 149 |
+
print(response.choices[0].message.reasoning)
|
| 150 |
```
|
| 151 |
|
| 152 |
+
_Example Content_:
|
| 153 |
<details>
|
| 154 |
<summary>Expand</summary
|
| 155 |
```
|
|
|
|
| 245 |
reasoning_effort=REASONING,
|
| 246 |
tools=tools,
|
| 247 |
)
|
| 248 |
+
|
| 249 |
+
print("Tool Calls")
|
| 250 |
+
print(response.choices[0].message.tool_calls)
|
| 251 |
+
|
| 252 |
+
pritn("Reasoning")
|
| 253 |
+
print(response.choices[0].message.reasoning)
|
| 254 |
+
```
|
| 255 |
+
|
| 256 |
+
_Example Tool Calls_:
|
| 257 |
+
<details>
|
| 258 |
+
<summary>Expand</summary
|
| 259 |
+
|
| 260 |
+
```
|
| 261 |
+
[ChatCompletionMessageFunctionToolCall(id='bpa6vHYPz', function=Function(arguments='{"code": "inductive State where\\n | idle\\n | busy\\n | error\\n\\ndef transition : State → State → Bool\\n | .idle, .busy => true\\n | .busy, .idle => true\\n | .busy, .error => true\\n | _, _ => false\\n\\n#eval transition .idle .busy"}', name='lean_run_code'), type='function')]
|
| 262 |
+
```
|
| 263 |
+
</details>
|