Anthropic's original performance take-home, now open for you to try!

This repository contains a curated collection of 300+ case studies from over 80 companies, detailing practical applications and insights into machine learning (ML) system design. The contents are o…

piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning

A Dataset of Python Challenges for AI Research

Python library for program synthesis and symbolic execution combining constraint solving and LLMs

Smart wearable device project