Skip to content
View akp2003's full-sized avatar
6 followers · 29 following

Block or report akp2003

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
akp2003/README.md

Hi 👋! My name is Arshak Parsa and I'm a Data Scientist, from Iran

I am a passionate researcher and developer in the field of Artificial Intelligence, with a particular interest in building safe and trustworthy AI systems. My current focus is on leveraging ROCQ and proof assistants to ensure the reliability, robustness, and security of AI systems.

I am currently pursuing a Master’s degree in Data Science at Shahid Beheshti University, where I am deepening my understanding of machine learning, formal verification, and secure AI development. Through my academic and personal projects, I aim to contribute to advancing AI in a direction that balances innovation with safety and transparency.

python logo r logo ocaml logo rstudio logo vscode logo

Pinned Loading

  1. Machine_Learning_Exercises Machine_Learning_Exercises Public

    Cool notebooks for machine learning!

    Jupyter Notebook 1

  2. rocq-bishop rocq-bishop Public

    Formalization of Errett Bishop's Constructive Analysis in Rocq

    Rocq Prover

  3. prob-book prob-book Public

    Formalization of the Grinstead and Snell's Introduction to Probability.

    TeX 1

  4. akp2003.github.io akp2003.github.io Public

    https://akp2003.github.io/

    HTML

  5. sum-of-four-cubes sum-of-four-cubes Public

    Sum of four cubes problem

    Python

  6. crazytaxi crazytaxi Public

    C++