Discussions

• 1 You must be logged in to vote

  💡

  Faster Tool Rounds

  dcssi started Apr 18, 2025 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  User editible n_keep content

  toddwbucy started Jan 1, 2025 in Ideas

  

  

  1
• 3 You must be logged in to vote

  🙌

  Streamlit utils for Kani

  oneilsh started Jun 11, 2024 in Show and tell

  

  

  0
• 1 You must be logged in to vote

  🙏

  Working in Huggingface

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

  

  

  2
• 1 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
• 1 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
• 1 You must be logged in to vote

  🙏

  Enabling Kani Logging

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

  

  

  2