Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

multiple theorems per conversation (e.g. max 3) #1

Open
amacfie opened this issue Feb 1, 2025 · 2 comments
Open

multiple theorems per conversation (e.g. max 3) #1

amacfie opened this issue Feb 1, 2025 · 2 comments
Labels
low priority

Comments

@amacfie
Copy link
Owner

amacfie commented Feb 1, 2025

No description provided.

@amacfie amacfie changed the title multiple theorems per prompt (e.g. max 3) multiple theorems per conversation (e.g. max 3) Feb 2, 2025
@amacfie
Copy link
Owner Author

amacfie commented Feb 2, 2025 •
edited
Loading

could just do one theorem after another in the same conversation until we run out of tokens. when we run out we could start over or just drop the oldest messages from the convo history (if they're from another theorem)

that doesn't make sense. the only way to save tokens is to get multiple responses at a time.

@amacfie
Copy link
Owner Author

amacfie commented Feb 3, 2025

If 5 properties are in a prompt and they all pull in a different source file, you might save on reasoning tokens (or might not) but you lose on input tokens

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
low priority
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@amacfie