Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: safe-ai

dcfrancisco/avery

🤖 Avery: A voice-enabled AI companion for children that listens, learns, and helps keep kids safe while they explore the world.

Language: Python - Size: 1.99 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 1

verivital/nnv

Neural Network Verification Software Tool

Language: MATLAB - Size: 2.97 GB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 130 - Forks: 54

ksm26/Prompt-Engineering-with-Llama-2

The course provides guidance on best practices for prompting and building applications with the powerful open commercial license models of Llama 2.

Language: Jupyter Notebook - Size: 2.35 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 12

abisliouk/HS-MATH-LLM

Evaluate high school math reasoning in LLMs with baseline and Chain-of-Thought (CoT) prompts. Includes confidence calibration metrics, JSON output parsing, and reliability analysis.

Language: Python - Size: 587 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

Related Keywords
safe-ai 4 prompt-engineering 2 verification 1 advanced-prompting-models 1 ai-applications 1 chain-of-thought-prompting 1 code-llama 1 few-shot-prompting 1 industry-standards 1 language-models 1 llama-2 1 llama-guard 1 llm-interaction 1 meta-llama-2-chat 1 natural-language-processing 1 open-commercial-license 1 prompt-engineering-models 1 responsible-ai 1 responsible-ai-techniques 1 chain-of-thought-reasoning 1 confidence-calibration 1 gpt 1 interpretability 1 json-parsing 1 llm 1 model-evaluation 1 openai 1 reliability-analysis 1 ai-companion 1 child-development 1 child-safety 1 educational-toy 1 family-tech 1 offline-ai 1 parental-controls 1 privacy-first 1 speech-recognition 1 text-to-speech 1 voice-assistant 1 assured-autonomy 1 autonomy 1 cyber-physical 1 cyber-physical-systems 1 formal-methods 1 formal-verification 1 hybrid-systems 1 neural-network 1 neural-network-certification 1 neural-network-verification 1 reachability 1 reachability-analysis 1 robustness-verification 1 safe-autonomy 1 trustworthy-ai 1 trustworthy-machine-learning 1