Interested in deep learning and mathematics.
Currently an intern at the University of Cambridge.
-
Sorbonne University
- Cambridge, UK
-
15:35
(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 abuse-
-
Portal-to-ISAbelle Public
Forked from albertqjiang/Portal-to-ISAbellehttps://albertqjiang.github.io/Portal-to-ISAbelle/
Python BSD 3-Clause "New" or "Revised" License UpdatedMay 30, 2023 -
miniF2F Public
Forked from openai/miniF2FFormal to Formal Mathematics Benchmark
Objective-C++ UpdatedJun 2, 2022 -
mathlib Public
Forked from leanprover-community/mathlibLean mathematical components library
Lean Apache License 2.0 UpdatedOct 11, 2021