8000

Discussions

You must be logged in to vote

Faster Tool Rounds

dcssi started Apr 18, 2025 in Ideas

0
You must be logged in to vote

User editible n_keep content

toddwbucy started Jan 1, 2025 in Ideas

1
You must be logged in to vote

Streamlit utils for Kani

oneilsh started Jun 11, 2024 in Show and tell

0
You must be logged in to vote

Query

Dcas89 started Nov 4, 2023 in General · Closed

1
You must be logged in to vote

Working in Huggingface

evanbrociner asked Oct 12, 2023 in Q&A · Answered

2
You must be logged in to vote

Ai function which returns control to the User does not return response to the user

dcssi asked Oct 4, 2023 in Q&A · Answered

3
You must be logged in to vote

getting an explenation rather than a function name in function_call_formatter

dcssi asked Oct 3, 2023 in Q&A · Answered

4
You must be logged in to vote

Enabling Kani Logging

dcssi asked Oct 3, 2023 in Q&A · Answered

2
You must be logged in to vote

Calling AI Functions

nicolascepeda started Sep 18, 2023 in General · Closed

5

0