brando90

ultimate-utils

Brando's utils

ultimate-anatome

Ἀνατομή is a PyTorch library to analyze representation of neural networks

ultimate-pycoq

a realiable python-coq

brandomiranda

isabelle-gym

snap-cluster-setup

evaporate

This repo contains data and code for the paper "Language Models Enable Simple Systems for Generating Structured Views of Heterogeneous Data Lakes"

learning_lean

.dotfiles

beyond-scale-language-data-diversity

aesop

White-box automation for Lean 4

compfiles

Catalog Of Math Problems Formalized In Lean

direct-preference-optimization

Reference implementation for DPO (Direct Preference Optimization)

diversity-for-predictive-success-of-meta-learning

dmlr

is-emergence-still-a-mirage

language-server-protocol

Defines a common protocol for language servers.

LeanDojo

Tool for data extraction and interacting with Lean programmatically.

llemma_formal2formal

Llemma formal2formal (tactic prediction) theorem proving experiments

llmstep

llmstep: [L]LM proofstep suggestions in Lean 4.

marker

Convert PDF to markdown quickly with high accuracy

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

MetaMath

MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models

MMA

The official repository for the paper Multilingual Mathematical Autoformalization

PyPantograph

Python interface to the Pantograph library

ReProver

Retrieval-Augmented Theorem Provers for Lean

TheoremSense

An Empirical Study of Proxy Metrics for Verifying Math Proofs

tree-of-thought-llm

[NeurIPS 2023] Tree of Thoughts: Deliberate Problem Solving with Large Language Models

tree-of-thought-prompting

Using Tree-of-Thought Prompting to boost ChatGPT's reasoning

tree-of-thoughts

Plug in and Play Implementation of Tree of Thoughts: Deliberate Problem Solving with Large Language Models that Elevates Model Reasoning by atleast 70%