Computer Science PhD. Formal methods and AI Safety.
-
University of Buenos Aires / CONICET
- Buenos Aires, Argentina.
- agusmartinez.ar
Popular repositories Loading
-
gpt-latex-translator
gpt-latex-translator PublicA tool to translate LaTeX documents using OpenAI's ChatGPT API.
-
syncplay
syncplay PublicForked from Syncplay/syncplay
Client/server to synchronize media playback on mpv/VLC/MPC-HC/MPC-BE on many computers
Python
-
smt-lib
smt-lib PublicForked from tomahawkins/smt-lib
Parsing and printing SMT-LIB from Haskell.
Haskell
-
C-Plus-Plus
C-Plus-Plus PublicForked from TheAlgorithms/C-Plus-Plus
Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.
C++
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.