Formal Semantics on Prompt Engineering
Last week, I explored the end-2-end scenario how Formal Semantics will play a role in Prompt Engineering.
How to establish a dialog structure using formal proof
How to formalize prompt with bias attributes
How to interact with formal language in prompt design
How to verify ChatGPT contents with question-answering
Next Steps
Will develop on top of LangChain for Semantics Prompt Dialogs.
Data Engineer Leader @ Caltrans | Data Engineering / AI
1 年More polished version is on our substack. Please subscribe! https://pingpingxiu.substack.com/p/tree-of-thoughts-chatgpt-prompt-engineering?sd=pf