Deep learning for dummies. All the practical details and useful utilities that go into working with real models.

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Benchmarks for the Evaluation of LLM Supervision

Evals is a framework for evaluating LLMs and LLM systems, and an open-source registry of benchmarks.

Theoretical and practical introduction to the Tamarin Prover through a real-world case study on the Needham Schroeder protocol

Beginner-friendly seminar about the work of Basin D. et Al. on formalizing social engineering attacks in the symbolic model

fabric is an open-source framework for augmenting humans using AI. It provides a modular framework for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.

Implementation of Toolformer, Language Models That Can Use Tools, by MetaAI

DSPy: The framework for programming—not prompting—foundation models

[AI Agent Application Development Framework] - 🚀 Build AI agent native application in very few code 💬 Easy to interact with AI agent in code using structure data and chained-calls syntax 🧩 Enhance …

A programming framework for agentic AI. Discord: https://aka.ms/autogen-dc. Roadmap: https://aka.ms/autogen-roadmap

A repo lists papers related to LLM based agent

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

METR Task Standard

Portfolio Website

Personal thoughts and research on AGI

Statistical study project for estimating Sales Prices of Iranian Real Estate Buildings.

Efficient implementation of a suite of business oriented ad-hoc queries over the public TPC-H benchmark

Project for Reinforcement Learning course in master degree Data Science and Scientific Computing - Units.