Tags

Recipes by research stage and by how their output is checked.

Expert-checkable

• Learn from your peers
• Literature as data and sparring partner
• Make materials accessible
• Prototype before assigning
• Write, review and teach

Hard to verify

• Pin down the method

Implement with agents

• Automate paperwork
• Let checking cost set freedom
• Make problems checkable
• Pin down the method
• Write, review and teach

Machine-checkable

• Automate paperwork
• Establish guardrails
• Let checking cost set freedom
• Make problems checkable

Prepare for agents

• Establish guardrails
• Learn from your peers
• Make materials accessible

Think with agents

• Literature as data and sparring partner
• Prototype before assigning