Lists (1)
Starred repositories
Code for the paper "VERSE: Verified Self-Evolving Optimizer for Agent Harnesses"
Single-pass Adaptive Image Tokenization for Minimum Program Search | What's the Kolmogorov Complexity of an Image?
An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.
An ML research template with good documentation by Boyuan Chen, an MIT PhD student
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
LLMs as Copilots for Theorem Proving in Lean
Codes accompanying the paper on Wasserstein Distributionally Robust Optimisation techniques applied to adversarial robustness of DNNs
Implementation of Denoising Diffusion Probabilistic Model in Pytorch
Overview website for research on Algorithms with Predictions (ALPS)
Extremely simple yet powerful header-only C++ plotting library built on the popular matplotlib
❤️🔥 A chrome extension as an alternative to Notion AI that goes beyond Notion AI. | 一个替代 Notion AI 的浏览器插件，不止于 Notion AI
Official code for "Top-Down Visual Attention from Analysis by Synthesis" (CVPR 2023 highlight)
🤖 Machine Learning Summer School Guide
Implementation of https://srush.github.io/annotated-s4
Student Group Project Adding Text+ Features to: Alpha version of the next Micro:bit Educational Foundation Python editor
Demonstrate 2D elastic collision in Julia