zakhar-kogan

Properties (Predicates):

A block can be on top of another block
A block can be on the table
A block can be clear (nothing is on top of it)
The hand can be empty
The hand can be holding a block

Actions:

zakhar-kogan

(define (domain congdomain)
  (:requirements :adl)
  (:predicates 
    (noteq ?x ?y)
    (location ?c)
    (at ?r ?c)
    (adj ?x ?y)
    (robot ?r)
  )

zakhar-kogan

Additional links

• https://learn.microsoft.com/en-us/azure/ai-services/openai/concepts/advanced-prompt-engineering?pivots=programming-language-chat-completions
• https://www.reddit.com/r/PromptEngineering/comments/120fyp1/useful_links_for_getting_started_with_prompt/

General tips

• Give clearer instructions
• Split complex tasks into simpler subtasks
• Structure the instruction to keep the model on task
• Prompt the model to explain before answering
• Ask for justifications of many possible answers, and then synthesize

zakhar-kogan

+-----------------+-------+
|      Pool       | Score |
+-----------------+-------+
| Curve 3Crv      | 1,000 |
| Curve FRAX-3Crv | 3,208 |
| Curve LUSD      | 3,371 |
| Curve FRAX-USDC | 3,435 |
| Curve alUSD     | 3,439 |
| Curve MIM       | 3,966 |
+-----------------+-------+

zakhar-kogan

+-----------------+------------+
|      Pool       | Risk score |
+-----------------+------------+
| Curve 3Crv      |      1,000 |
| Curve FRAX      |      3,604 |
| Curve LUSD      |      3,449 |
| Curve alUSD     |      3,477 |
| Curve MIM       |      4,202 |
| Curve Iron Bank |      4,285 |
| Curve USDN      |      4,484 |

zakhar-kogan