Skip to content
View aman-goel's full-sized avatar
💭
programming
💭
programming

Block or report aman-goel

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Hardware Formal Verification Tool

Rust 44 9 Updated Apr 8, 2025

Prompt Engineering at Your Fingertips!

Python 57 17 Updated Feb 12, 2025

A framework for prompt tuning using Intent-based Prompt Calibration

Python 2,477 215 Updated Apr 10, 2025

This repository contains a hand-curated resources for Prompt Engineering with a focus on Generative Pre-trained Transformer (GPT), ChatGPT, PaLM etc

Python 4,347 409 Updated Jul 5, 2024

Official repo for SAC3: Reliable Hallucination Detection in Black-Box Language Models via Semantic-aware Cross-check Consistency

Jupyter Notebook 35 7 Updated Jan 18, 2025

A package to evaluate factuality of long-form generation. Original implementation of our EMNLP 2023 paper "FActScore: Fine-grained Atomic Evaluation of Factual Precision in Long Form Text Generation"

Python 338 49 Updated Apr 13, 2025

RefChecker provides automatic checking pipeline and benchmark dataset for detecting fine-grained hallucinations generated by Large Language Models.

Python 361 39 Updated Nov 7, 2024

SelfCheckGPT: Zero-Resource Black-Box Hallucination Detection for Generative Large Language Models

Python 508 60 Updated Jun 26, 2024

The Python Risk Identification Tool for generative AI (PyRIT) is an open source framework built to empower security professionals and engineers to proactively identify risks in generative AI systems.

Python 2,408 467 Updated Apr 16, 2025

Educational framework exploring ergonomic, lightweight multi-agent orchestration. Managed by OpenAI Solution team.

Python 19,625 2,093 Updated Mar 11, 2025

Improving Alignment and Robustness with Circuit Breakers

Jupyter Notebook 196 27 Updated Sep 24, 2024

A reading list for large models safety, security, and privacy (including Awesome LLM Security, Safety, etc.).

1,355 86 Updated Apr 17, 2025

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

SMT 246 40 Updated Apr 8, 2025

Universal and Transferable Attacks on Aligned Language Models

Python 3,844 521 Updated Aug 2, 2024

Supercharge your API testing, catch bugs, and ensure compliance

Python 2,465 173 Updated Apr 14, 2025

A collection of examples to help users get up and running with Smithy

Java 46 8 Updated Apr 2, 2025

Foundation Model Evaluations Library

Python 243 51 Updated Apr 7, 2025

The P programming language.

C# 3,272 195 Updated Apr 16, 2025

A Ruby gem that provides a command-line validator for Amazon States Language JSON files.

Ruby 347 46 Updated Apr 14, 2025

RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.

Python 2,711 314 Updated Apr 10, 2025

Extension adding support for optimizer hints in PostgreSQL

C 768 110 Updated Mar 18, 2025

A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.

HCL 71 15 Updated Sep 2, 2020

Quantified Symmetric Minimization of the Reachable States of Distributed Protocols

Python 1 Updated Oct 2, 2023

Curated list of resources on testing distributed systems

HTML 2,556 235 Updated Mar 24, 2025

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

2,554 189 Updated Oct 14, 2024

The P programming language.

C# 1 Updated Apr 6, 2025

AWS SDK for Python

Python 9,302 1,903 Updated Apr 16, 2025

Peasy: An Intuitive Development Environment for P

JavaScript 13 5 Updated Mar 27, 2025

Distributed Systems Labs and Framework

Java 1,383 368 Updated Apr 5, 2025
Next