A context-aware AI assistant for your desktop. Ready to respond intelligently, seamlessly integrating multiple LLMs and MCP tools.

A "code intepreter" for Lean

[COLM 2024] A Survey on Deep Learning for Theorem Proving

Repository associated with the paper When Judgment Becomes Noise

Code release for book "Efficient Training in PyTorch"

Open-source implementation of AlphaEvolve

Official implementation of "Diffusion Language Models Know the Answer Before Decoding"

A curated list of AI-powered coding tools

A project page template for academic papers. Demo at https://eliahuhorwitz.github.io/Academic-project-page-template/

The official GitHub repo for the survey paper "A Survey on Diffusion Language Models".

Sources of the EuroProofNet web site.

Transformer Explained Visually: Learn How LLM Transformer Models Work with Interactive Visualization

Stanford NLP Python library for understanding and improving PyTorch models via interventions

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

A library for mechanistic interpretability of GPT-style language models

Mechanistic Interpretability Visualizations using React

A repository of links with advice related to grad school applications, research, phd etc

Codebase for Math Neurosurgery: Isolating LLMs' Math Reasoning Abilities Using Only Forward Passes

PyTorch original implementation of "Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers" (NeurIPS 2024).

A Lean library for Computer Science

A search engine for Lean 4 declarations

Vantage is a Python project using Lean 4 and large language models to create a highly parallelized autoformalization system that represents mathematical knowledge as an interconnected graph, aiming…

Probabilistic data structures in python http://pyprobables.readthedocs.io/en/latest/index.html