Brando Miranda's repositories
ultimate-utils
Brando's utils
ultimate-anatome
Ἀνατομή is a PyTorch library to analyze representation of neural networks
ultimate-pycoq
a realiable python-coq
aesop
White-box automation for Lean 4
compfiles
Catalog Of Math Problems Formalized In Lean
language-server-protocol
Defines a common protocol for language servers.
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
ntptutorial-II
Neural theorem proving tutorial, version II
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-thoughts
Plug in and Play Implementation of Tree of Thoughts: Deliberate Problem Solving with Large Language Models that Elevates Model Reasoning by atleast 70%