Skip to content

Commit 4f26fe4

Browse files
jgchnjgchn
committed
Update results
Signed-off-by: Jing Chen <[email protected]>
1 parent 1fe348b commit 4f26fe4

File tree

3 files changed

+23
-27
lines changed

3 files changed

+23
-27
lines changed

‎examples/demo/10-sdg.pdl‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -252,7 +252,7 @@ defs:
252252
model: ${teacher_model}
253253
input: ${teacher_input}
254254
parameters:
255-
stop: [${ ([teacher_stop_token] + prompt_data.additional_stop_tokens) | join(',') }]
255+
stop: ["${ ([teacher_stop_token] + prompt_data.additional_stop_tokens) | join(',') }"]
256256
max_new_tokens: ${prompt_data.max_new_tokens}
257257
temperature: 0
258258
parsed_answer:

‎tests/results/examples/demo/9-react.0.result‎

Lines changed: 11 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,14 @@
1-
How many years ago was the discoverer of the Hudson River born? Keep in mind we are in 2025.
2-
Thought: I need to find out who discovered the Hudson River and then calculate how many years ago they were born, given that it's currently 2025.
1+
How many years ago was the discoverer of the Hudson River born? Keep in mind we are in 2025. When searching for a birthday for a person, simply ask for the name of that person.
2+
Thought: I need to find out who discovered the Hudson River and then calculate how many years ago their birthdate was.
33
Action:
4-
<tool_call>[{"name": "Search", "arguments": {"topic": "Hudson River discoverer"}}]
5-
Observation: The Hudson River was discovered by Henry Hudson in 1609.
6-
Thought: Henry Hudson was born around 1565 to 1570. I need to find the exact birth year and then calculate how many years ago it was from 2025.
4+
[{"name": "Search", "arguments": {"topic": "Henry Hudson"}}]
5+
Observation: Henry Hudson (c. 1565 – disappeared 23 June 1611) was an English sea explorer and navigator during the early 17th century, best known for his explorations of present-day Canada and parts of the Northeastern United States.
6+
In 1607 and 1608, Hudson made two attempts on behalf of English merchants to find a rumoured Northeast Passage to Cathay via a route above the Arctic Circle. In 1609, he landed in North America on behalf of the Dutch East India Company and explored the region around the modern New York metropolitan area. Looking for a Northwest Passage to Asia on his ship Halve Maen ("Half Moon"), he sailed up the Hudson River, which was later named after him, and thereby laid the foundation for Dutch colonization of the region. His contributions to the exploration of the New World were significant and lasting. His voyages helped to establish European contact with the native peoples of North America and contributed to the development of trade and commerce.
7+
On his final expedition, while still searching for the Northwest Passage, Hudson became the first European to see Hudson Strait and the immense Hudson Bay. In 1611, after wintering on the shore of James Bay, Hudson wanted to press on to the west, but most of his crew mutinied. The mutineers cast Hudson, his son, and six others adrift; what then happened to the Hudsons and their companions is unknown.
8+
Thought: Henry Hudson discovered the Hudson River in 1609. He was born around 1565.
79
Action:
8-
<tool_call>[{"name": "Search", "arguments": {"topic": "Henry Hudson birth year"}}]
9-
Observation: Henry Hudson was born in 1565.
10-
Thought: To find out how many years ago he was born, I subtract his birth year from the current year (2025).
11-
Action:
12-
<tool_call>[{"name": "Calc", "arguments": {"expr": "2025 - 1565"}}]
13-
Observation: The result of the calculation is 460.
14-
Thought: Henry Hudson was born 460 years ago.Action:
15-
[{"name": "Finish", "arguments": {"topic": "460 years ago"}}]
10+
[{"name": "Calc", "arguments": {"expr": "2025 - 1565"}}]
11+
Observation: 460
12+
Henry Hudson was born around 1565, so he was approximately 460 years ago.Action:
13+
[{"name": "Finish", "arguments": {"topic": "460"}}]
1614
Observation:

‎tests/results/examples/react/demo.0.result‎

Lines changed: 11 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,13 @@
1-
How many years ago was the discoverer of the Hudson River born? Keep in mind we are in 2025.
2-
Thought: I need to find out who discovered the Hudson River and then calculate how many years ago they were born, given that it's currently 2025.
1+
How many years ago was the discoverer of the Hudson River born? Keep in mind we are in 2025. When searching for a birthday for a person, simply ask for the name of that person.
2+
Thought: I need to find out who discovered the Hudson River and then calculate how many years ago their birthdate was.
33
Action:
4-
<tool_call>[{"name": "Search", "arguments": {"topic": "Hudson River discoverer"}}]
5-
Observation: The Hudson River was discovered by Henry Hudson in 1609.
6-
Thought: Henry Hudson was born around 1565 to 1570. I need to find the exact birth year and then calculate how many years ago it was from 2025.
4+
[{"name": "Search", "arguments": {"topic": "Henry Hudson"}}]
5+
Observation: Henry Hudson (c. 1565 – disappeared 23 June 1611) was an English sea explorer and navigator during the early 17th century, best known for his explorations of present-day Canada and parts of the Northeastern United States.
6+
In 1607 and 1608, Hudson made two attempts on behalf of English merchants to find a rumoured Northeast Passage to Cathay via a route above the Arctic Circle. In 1609, he landed in North America on behalf of the Dutch East India Company and explored the region around the modern New York metropolitan area. Looking for a Northwest Passage to Asia on his ship Halve Maen ("Half Moon"), he sailed up the Hudson River, which was later named after him, and thereby laid the foundation for Dutch colonization of the region. His contributions to the exploration of the New World were significant and lasting. His voyages helped to establish European contact with the native peoples of North America and contributed to the development of trade and commerce.
7+
On his final expedition, while still searching for the Northwest Passage, Hudson became the first European to see Hudson Strait and the immense Hudson Bay. In 1611, after wintering on the shore of James Bay, Hudson wanted to press on to the west, but most of his crew mutinied. The mutineers cast Hudson, his son, and six others adrift; what then happened to the Hudsons and their companions is unknown.
8+
Thought: Henry Hudson discovered the Hudson River in 1609. He was born around 1565.
79
Action:
8-
<tool_call>[{"name": "Search", "arguments": {"topic": "Henry Hudson birth year"}}]
9-
Observation: Henry Hudson was born in 1565.
10-
Thought: To find out how many years ago he was born, I subtract his birth year from the current year (2025).
11-
Action:
12-
<tool_call>[{"name": "Calc", "arguments": {"expr": "2025 - 1565"}}]
13-
Observation: The result of the calculation is 460.
14-
Thought: Henry Hudson was born 460 years ago.Action:
15-
[{"name": "Finish", "arguments": {"topic": "460 years ago"}}]
10+
[{"name": "Calc", "arguments": {"expr": "2025 - 1565"}}]
11+
Observation: 460
12+
Henry Hudson was born around 1565, so he was approximately 460 years ago.Action:
13+
[{"name": "Finish", "arguments": {"topic": "460"}}]

0 commit comments

Comments
 (0)