Interested in deep learning and mathematics.
Currently an intern at the University of Cambridge.
-
Sorbonne University
- Cambridge, UK
-
09:12
(UTC +01:00) - in/dsantosmarco
Highlights
- Pro
Block or Report
Block or report marco-dossantos
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
mathlib
mathlib PublicForked from leanprover-community/mathlib
Lean mathematical components library
Lean
-
miniF2F
miniF2F PublicForked from openai/miniF2F
Formal to Formal Mathematics Benchmark
Objective-C++
-
Portal-to-ISAbelle
Portal-to-ISAbelle PublicForked from albertqjiang/Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
Python
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.