Pinned Loading

1. Cimminos-Algorithm Cimminos-Algorithm Public

   Mathematical report on Cimmino's algorithm, including foundations, proof of convergence and characterisation of its limit.

2. Cimmino-Phantom-Reconstruction Cimmino-Phantom-Reconstruction Public

   Phantom reconstruction with Cimmino's Method using Metal/C++

   C++

3. Lean-Project Lean-Project Public

   Formal verification of mathematical proofs in Lean

   Lean

4. Vector-Databases Vector-Databases Public

   A report exploring the role of vector databases in managing high-dimensional data, including applications in content-based image retrieval, smart cities, and semantic caching for LLMs