Skip to content
View fpiedrah's full-sized avatar
28 followers · 22 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

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. private-search Public

    POC replicating the functionality described in the "Private Web Search with Tiptoe" paper

    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

286 contributions in the last year

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

Activity overview

Contributed to fpiedrah/kedro-slurm, fpiedrah/function_vectors, fpiedrah/forall-x and 6 other repositories
Loading A graph representing fpiedrah's contributions from March 24, 2024 to March 28, 2025. The contributions are 93% commits, 4% pull requests, 3% code review, 0% issues. 3% Code review   Issues 4% Pull requests 93% Commits

Contribution activity

March 2025

Created 3 commits in 1 repository
4 contributions in private repositories Mar 4 – Mar 17
Loading