Skip to content
View fpiedrah's full-sized avatar

Organizations

@BrownSuperLab

Block or report fpiedrah

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
fpiedrah/README.md

Welcome to My GitHub 🤖

Hello! I'm Francisco, a computer science Ph.D. student at Brown University. This GitHub repository is a collection of my projects, showcasing my skills and experiences in Reinforcement Learning and Machine Learning.

About Me

  • 🎓 Education: Ph.D. Student at Brown University
  • 🌱 I’m Currently Learning: Reinforcement Learning and Machine Learning
  • 🔭 I’m currently Working On: Research on LLMs and Their Integration with Traditional Machine Learning Techniques

Francisco's GitHub stats Francisco's GitHub stats

Pinned Loading

  1. information-flow-routes Public

    Jupyter Notebook

  2. forall-x Public

    Formal proofs of the "forall x: Calgary" book by P.D. Magnus, Tim Button, Robert Trueman, and Richard Zach, using the Lean4 theorem prover.

    Lean 1

287 contributions in the last year

Contribution Graph
Day of Week April May June July August September October November December January February March April
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Activity overview

Contributed to fpiedrah/kedro-slurm, fpiedrah/information-flow-routes, fpiedrah/forall-x and 7 other repositories
Loading A graph representing fpiedrah's contributions from April 14, 2024 to April 16, 2025. The contributions are 90% commits, 7% pull requests, 3% code review, 0% issues.

Contribution activity

April 2025

Created 2 repositories
Opened 5 pull requests in 1 repository
2 contributions in private repositories Apr 3
Loading