From a98556a9c8ab11a3ff1b14cd0bc016ee69f8711b Mon Sep 17 00:00:00 2001 From: WeetHet Date: Tue, 24 Sep 2024 13:42:07 +0300 Subject: [PATCH] Improve prompts a bit --- prompts/humaneval-dafny-cot/steps/002/examples/001/question.txt | 2 +- prompts/humaneval-dafny-cot/steps/002/question.txt | 2 +- prompts/humaneval-dafny-cot/steps/003/001/question.txt | 2 +- prompts/humaneval-dafny-cot/steps/003/question.txt | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/prompts/humaneval-dafny-cot/steps/002/examples/001/question.txt b/prompts/humaneval-dafny-cot/steps/002/examples/001/question.txt index 133998a..e004327 100644 --- a/prompts/humaneval-dafny-cot/steps/002/examples/001/question.txt +++ b/prompts/humaneval-dafny-cot/steps/002/examples/001/question.txt @@ -1,5 +1,5 @@ Now we are finished with the specifications. Let's move onto the loops. -Given the following program, for each function, determine if it has loops. If it does, try to determine what the loop does in detail. +Given the following program, for each function, determine if it has loops. If it does, try to determine what the loop does in detail. Go through all your thinking and reasoning process step by step. ```dafny function sum(s: seq) : int { if |s| == 0 then 0 else s[0] + sum(s[1..]) diff --git a/prompts/humaneval-dafny-cot/steps/002/question.txt b/prompts/humaneval-dafny-cot/steps/002/question.txt index 7686db8..6abd123 100644 --- a/prompts/humaneval-dafny-cot/steps/002/question.txt +++ b/prompts/humaneval-dafny-cot/steps/002/question.txt @@ -1,4 +1,4 @@ -Given the following program, for each function, determine if it has loops. If it does, try to determine what the loop does in detail. +Given the following program, for each function, determine if it has loops. If it does, try to determine what the loop does in detail. Go through all your thinking and reasoning process step by step. ```dafny {program} ``` diff --git a/prompts/humaneval-dafny-cot/steps/003/001/question.txt b/prompts/humaneval-dafny-cot/steps/003/001/question.txt index 0079663..d7a9fb2 100644 --- a/prompts/humaneval-dafny-cot/steps/003/001/question.txt +++ b/prompts/humaneval-dafny-cot/steps/003/001/question.txt @@ -1,4 +1,4 @@ -As we've already analyzed the specifications and the loops, it's time to try to analyze what invariants and patterns hold during the execution of the program. Go over the found loops in the following program in the code and try to find out what invariants and patterns they hold. +As we've already analyzed the specifications and the loops, it's time to try to analyze what invariants and patterns hold during the execution of the program. Go over the found loops in the following program in the code and try to find out what invariants and patterns they hold. Go through all your thinking and reasoning process step by step. ```dafny function sum(s: seq) : int { if |s| == 0 then 0 else s[0] + sum(s[1..]) diff --git a/prompts/humaneval-dafny-cot/steps/003/question.txt b/prompts/humaneval-dafny-cot/steps/003/question.txt index d2236e0..437bd31 100644 --- a/prompts/humaneval-dafny-cot/steps/003/question.txt +++ b/prompts/humaneval-dafny-cot/steps/003/question.txt @@ -1,4 +1,4 @@ -As we've already analyzed the specifications and the loops, it's time to try to analyze what invariants and patterns hold during the execution of the program. Go over the found loops in the following program in the code and try to find out what invariants and patterns they hold. +As we've already analyzed the specifications and the loops, it's time to try to analyze what invariants and patterns hold during the execution of the program. Go over the found loops in the following program in the code and try to find out what invariants and patterns they hold. Go through all your thinking and reasoning process step by step. ```dafny {program} ```