Skip to content

Commit

Permalink
Add spec changes
Browse files Browse the repository at this point in the history
Co-authored-by: Michael <[email protected]>
  • Loading branch information
platform-endpoints and mkozakov committed Dec 1, 2024
1 parent 518474c commit b08b073
Show file tree
Hide file tree
Showing 8 changed files with 18 additions and 18 deletions.
22 changes: 11 additions & 11 deletions cohere-openapi.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -16118,7 +16118,7 @@ paths:
text: 'Washington, D.C. (also known as simply Washington or D.C., and officially as the District of Columbia) is the capital of the United States. It is a federal district.',
},
{
text: 'Capital punishment (the death penalty) has existed in the United States since beforethe United States was a country. As of 2017, capital punishment is legal in 30 of the 50 states.',
text: 'Capital punishment has existed in the United States since beforethe United States was a country. As of 2017, capital punishment is legal in 30 of the 50 states.',
},
],
query: 'What is the capital of the United States?',
Expand All @@ -16142,7 +16142,7 @@ paths:
"The Commonwealth of the Northern Mariana Islands is a group of islands in the Pacific Ocean. Its capital is Saipan.",
"Capitalization or capitalisation in English grammar is the use of a capital letter at the start of a word. English usage varies from capitalization in other languages.",
"Washington, D.C. (also known as simply Washington or D.C., and officially as the District of Columbia) is the capital of the United States. It is a federal district.",
"Capital punishment (the death penalty) has existed in the United States since beforethe United States was a country. As of 2017, capital punishment is legal in 30 of the 50 states.",
"Capital punishment has existed in the United States since beforethe United States was a country. As of 2017, capital punishment is legal in 30 of the 50 states.",
]


Expand Down Expand Up @@ -16170,7 +16170,7 @@ paths:
"The Commonwealth of the Northern Mariana Islands is a group of islands in the Pacific Ocean. Its capital is Saipan.",
"Capitalization or capitalisation in English grammar is the use of a capital letter at the start of a word. English usage varies from capitalization in other languages.",
"Washington, D.C. (also known as simply Washington or D.C., and officially as the District of Columbia) is the capital of the United States. It is a federal district.",
"Capital punishment (the death penalty) has existed in the United States since beforethe United States was a country. As of 2017, capital punishment is legal in 30 of the 50 states.",
"Capital punishment has existed in the United States since beforethe United States was a country. As of 2017, capital punishment is legal in 30 of the 50 states.",
]


Expand Down Expand Up @@ -16234,7 +16234,7 @@ paths:
+ " capital of the United States. It is"
+ " a federal district."),
RerankRequestDocumentsItem.of(
"Capital punishment (the death penalty) has"
"Capital punishment has"
+ " existed in the United States since"
+ " beforethe United States was a"
+ " country. As of 2017, capital"
Expand Down Expand Up @@ -16263,7 +16263,7 @@ paths:
"The Commonwealth of the Northern Mariana Islands is a group of islands in the Pacific Ocean. Its capital is Saipan.",
"Washington, D.C. (also known as simply Washington or D.C., and officially as the District of Columbia) is the capital of the United States. It is a federal district.",
"Capitalization or capitalisation in English grammar is the use of a capital letter at the start of a word. English usage varies from capitalization in other languages.",
"Capital punishment (the death penalty) has existed in the United States since beforethe United States was a country. As of 2017, capital punishment is legal in 30 of the 50 states."]
"Capital punishment has existed in the United States since beforethe United States was a country. As of 2017, capital punishment is legal in 30 of the 50 states."]
}'
request:
documents:
Expand All @@ -16276,9 +16276,9 @@ paths:
- text: Washington, D.C. (also known as simply Washington or D.C., and officially
as the District of Columbia) is the capital of the United
States. It is a federal district.
- text: Capital punishment (the death penalty) has existed in the United States
since beforethe United States was a country. As of 2017,
capital punishment is legal in 30 of the 50 states.
- text: Capital punishment has existed in the United States since beforethe United
States was a country. As of 2017, capital punishment is legal
in 30 of the 50 states.
query: What is the capital of the United States?
top_n: 3
model: rerank-english-v3.0
Expand Down Expand Up @@ -16603,9 +16603,9 @@ paths:
- Washington, D.C. (also known as simply Washington or D.C., and
officially as the District of Columbia) is the capital of the
United States. It is a federal district.
- Capital punishment (the death penalty) has existed in the United
States since beforethe United States was a country. As of 2017,
capital punishment is legal in 30 of the 50 states.
- Capital punishment has existed in the United States since
beforethe United States was a country. As of 2017, capital
punishment is legal in 30 of the 50 states.
query: What is the capital of the United States?
top_n: 3
model: rerank-english-v3.0
Expand Down
2 changes: 1 addition & 1 deletion snippets/snippets/curl/rerank-post.sh
Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ curl --request POST \
"The Commonwealth of the Northern Mariana Islands is a group of islands in the Pacific Ocean. Its capital is Saipan.",
"Washington, D.C. (also known as simply Washington or D.C., and officially as the District of Columbia) is the capital of the United States. It is a federal district.",
"Capitalization or capitalisation in English grammar is the use of a capital letter at the start of a word. English usage varies from capitalization in other languages.",
"Capital punishment (the death penalty) has existed in the United States since beforethe United States was a country. As of 2017, capital punishment is legal in 30 of the 50 states."]
"Capital punishment has existed in the United States since beforethe United States was a country. As of 2017, capital punishment is legal in 30 of the 50 states."]
}'
2 changes: 1 addition & 1 deletion snippets/snippets/java/app/src/main/java/RerankPost.java
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ public static void main(String[] args) {
+ " capital of the United States. It is"
+ " a federal district."),
RerankRequestDocumentsItem.of(
"Capital punishment (the death penalty) has"
"Capital punishment has"
+ " existed in the United States since"
+ " beforethe United States was a"
+ " country. As of 2017, capital"
Expand Down
2 changes: 1 addition & 1 deletion snippets/snippets/node/rerank-post.ts
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ const cohere = new CohereClient({});
text: 'Washington, D.C. (also known as simply Washington or D.C., and officially as the District of Columbia) is the capital of the United States. It is a federal district.',
},
{
text: 'Capital punishment (the death penalty) has existed in the United States since beforethe United States was a country. As of 2017, capital punishment is legal in 30 of the 50 states.',
text: 'Capital punishment has existed in the United States since beforethe United States was a country. As of 2017, capital punishment is legal in 30 of the 50 states.',
},
],
query: 'What is the capital of the United States?',
Expand Down
2 changes: 1 addition & 1 deletion snippets/snippets/python-async/rerank-post.py
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
"The Commonwealth of the Northern Mariana Islands is a group of islands in the Pacific Ocean. Its capital is Saipan.",
"Capitalization or capitalisation in English grammar is the use of a capital letter at the start of a word. English usage varies from capitalization in other languages.",
"Washington, D.C. (also known as simply Washington or D.C., and officially as the District of Columbia) is the capital of the United States. It is a federal district.",
"Capital punishment (the death penalty) has existed in the United States since beforethe United States was a country. As of 2017, capital punishment is legal in 30 of the 50 states.",
"Capital punishment has existed in the United States since beforethe United States was a country. As of 2017, capital punishment is legal in 30 of the 50 states.",
]


Expand Down
2 changes: 1 addition & 1 deletion snippets/snippets/python/rerank-post.py
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
"The Commonwealth of the Northern Mariana Islands is a group of islands in the Pacific Ocean. Its capital is Saipan.",
"Capitalization or capitalisation in English grammar is the use of a capital letter at the start of a word. English usage varies from capitalization in other languages.",
"Washington, D.C. (also known as simply Washington or D.C., and officially as the District of Columbia) is the capital of the United States. It is a federal district.",
"Capital punishment (the death penalty) has existed in the United States since beforethe United States was a country. As of 2017, capital punishment is legal in 30 of the 50 states.",
"Capital punishment has existed in the United States since beforethe United States was a country. As of 2017, capital punishment is legal in 30 of the 50 states.",
]

response = co.rerank(
Expand Down
2 changes: 1 addition & 1 deletion snippets/snippets/requests/rerank-post.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ documents:
- text: Washington, D.C. (also known as simply Washington or D.C., and officially
as the District of Columbia) is the capital of the United States. It is a
federal district.
- text: Capital punishment (the death penalty) has existed in the United States
- text: Capital punishment has existed in the United States
since beforethe United States was a country. As of 2017, capital
punishment is legal in 30 of the 50 states.
query: What is the capital of the United States?
Expand Down
2 changes: 1 addition & 1 deletion snippets/snippets/requests/rerank-v2-post.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ documents:
- Washington, D.C. (also known as simply Washington or D.C., and officially
as the District of Columbia) is the capital of the United States. It is a
federal district.
- Capital punishment (the death penalty) has existed in the United States
- Capital punishment has existed in the United States
since beforethe United States was a country. As of 2017, capital
punishment is legal in 30 of the 50 states.
query: What is the capital of the United States?
Expand Down

0 comments on commit b08b073

Please sign in to comment.