Popular repositories Loading

1. slack-research-agent slack-research-agent Public

   This is the public interface of the agent my research group use internally to facilitate experiments, writing, research, coding etc

   Python 3 1

2. depression-pred-sensor-291-UCSD depression-pred-sensor-291-UCSD Public

   Python 2 1

3. agent-assisted-lean-formalization-engine agent-assisted-lean-formalization-engine Public

   This repo contains the code for an agentic workflow that formalize theorems in Lean 4, examples, and presentation materials.

   Python 2

4. protein protein Public

   protein is a CLI that ingests daily arXiv paper via agentic workflow based on your Obsidian vault

   TypeScript 1

5. Snakeposet-and-Birkhoff Snakeposet-and-Birkhoff Public

   Sage

6. CS61B_sp23 CS61B_sp23 Public

   some of the projects I did for CS 61B at UC Berkeley

   Java