A formalization of chip-firing games and the Riemann-Roch theorem for graphs using the Lean 4 theorem prover.

This is the intermediate codebase of RBlocks project. The most recently deployed code is in a private repository owned by Amherst College, but the website is deployed for open use at https://sliao.…

The math library of Lean 4

Discrete checkerboard copula modeling and implementation of new scoring methods pertaining to ordinal and categorical discrete data.

Simple, unified interface to multiple Generative AI providers

An web app to connect Amherst College students to events in a more convenient, intimate, and diverse way! https://amherst-connect.com/

Lean theorem proving interface which feels like pen-and-paper proofs.

LangChain + Next.js starter template

Efficient Triton Kernels for LLM Training

A lightweight library for portable low-level GPU computation using WebGPU.

The Tensor (or Array)

👋 Hey there new grad🎉! We've put together a collection of full-time job openings for SWE, Quant, PM and tech roles in 2024! 🚀

Central Repository for Quant Related Resources prepared by Amherst College Quant Club for enthusiasts of all experience levels

A learning Kotlin project to have fun with

An AI powered lecture simulator to help professor gain feedback on their lecture notes and lectures through Q&As with a diverse student population

Open source applied machine learning course

Public quant internship repository, maintained by NUFT but available for everyone.

Machine Learning for Finance, published by Packt

In this project, I have tried to predict the stock price of Microsoft using LSTM

Solutions to "A First Course in Bayesian Statistical Methods" Peter D. Hoff

R Markdown notes for Peter D. Hoff, "A First Course in Bayesian Statistical Methods"

Python Data Analysis, Third Edition, Published by Packt

Final project in the course "Mathematical Methods - Financial Price Analysis" at Columbia University

Code for the paper "SPEck: Mining Statistically-significant Sequential Patterns Efficiently with Exact Sampling", by Steedman Jenkins, Stefan Walzer-Goldfeld, and Matteo Riondato, appearing in the …

Guide on how to prepare for quant trading roles out of college