fgirbal
PhD student in Trustworthy Machine Learning at the University of Oxford.
Oxford, United Kingdom
Pinned Repositories
aims-dei-gps
AIMS Data Estimation and Inference Gaussian Processes Lab
aims-es-calculator
Parser calculator in C++
aims-ml-nn
Neural network implementation from scratch
ANCER
ANCER: Anisotropic Certification via Sample-wise Volume Maximization
cbc_adas
Repository for the MSc project "To Err is Human: Designing Correct-by-Construction Driver Assistance Systems using Cognitive Modelling".
key-value-store
Final project for the class of Systems Programming
partial_crown
Code associated with the paper "Efficient Error Certification for Physics-Informed Neural Networks" (ICML'24).
segment-select-correct
Code release for "Segment, Select, Correct: A Framework for Weakly-Supervised Referring Segmentation"
sum_news
News summarizer for Hack Junction 2017
open-source-llms.github.io
Openness Taxonomy of Large Language Models
fgirbal's Repositories
fgirbal/segment-select-correct
Code release for "Segment, Select, Correct: A Framework for Weakly-Supervised Referring Segmentation"
fgirbal/cbc_adas
Repository for the MSc project "To Err is Human: Designing Correct-by-Construction Driver Assistance Systems using Cognitive Modelling".
fgirbal/key-value-store
Final project for the class of Systems Programming
fgirbal/sum_news
News summarizer for Hack Junction 2017
fgirbal/partial_crown
Code associated with the paper "Efficient Error Certification for Physics-Informed Neural Networks" (ICML'24).
fgirbal/aims-dei-gps
AIMS Data Estimation and Inference Gaussian Processes Lab
fgirbal/aims-es-calculator
Parser calculator in C++
fgirbal/aims-ml-nn
Neural network implementation from scratch
fgirbal/ANCER
ANCER: Anisotropic Certification via Sample-wise Volume Maximization
fgirbal/classes-IST
Apple Watch App to display student's classes at Técnico Lisboa
fgirbal/parot
PaRoT: A Practical Framework for Robust Deep Neural Network Training
fgirbal/recipeasy
[Winner OpenFood Challenge LauzHack 2016] We want to discourage packaging food, and suggest instead the healthy recipies.
fgirbal/Solar-Rooftops-CV
A web app where a user enters his address to receive the size of his rooftop available for solar panels. The app uses image segmentation to detect the rooftops and connects to an external API for data on the climate.
fgirbal/coderdojo-website
CoderDojo@Técnico website
fgirbal/Data_Dependent_Randomized_Smoothing
This is the official repo for the work "Data Dependent Randomized Smoothing"
fgirbal/English-Vocabulary-Word-List
Common English Vocabulary Word List
fgirbal/fgirbal.github.io
Personal website
fgirbal/hackerschool-buttons
HackerSchool themed buttons
fgirbal/hackerschool-donations
A website to accept donations to HackerSchool (non-profit)
fgirbal/ISTravel
Travel salesman problem implemented in C (using abstract data structures)
fgirbal/newFile
Simplifies the process of creating a new file in Matlab with an adequate header template.