BhabeshMali
Follow
Starred repositories
HLSFactory: A Framework Empowering High-Level Synthesis Datasets for Machine Learning and Beyond
Awesome Artificial Intelligence for Electronic Design Automation Papers.
High-Level Synthesis Performance Prediction using GNNs: Benchmarking, Modeling, and Advancing
Free hands-on course about Graph Neural Networks using PyTorch Geometric.
Tutorials for reinforcement learning in PyTorch and Gym by implementing a few of the popular algorithms. [IN PROGRESS]
The Incredible PyTorch: a curated list of tutorials, papers, projects, communities and more relating to PyTorch.
Using LLMs to generate formal verification programs or mathematical proofs for distributed protocols
AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made in the signal declaration section of an RTL module, generat…
A List of Free and Open Source Hardware Verification Tools and Frameworks
Federated Optimization in Heterogeneous Networks (MLSys '20)
Algorithm Design (Kleinberg Tardos 2005) - Solutions
FedERA is a modular and fully customizable open-source FL framework, aiming to address these issues by offering comprehensive support for heterogeneous edge devices and incorporating both standalon…
Blockchain-based federated learning modular framework.
Federated learning on blockchain using smart contracts. Distributed privacy-preserving data science technology.
⟠ A curated list of awesome Solidity resources, libraries, tools and more
A Decentralized Blockchain-Based Federated Learning Framework
An open framework for Federated Learning.
Recent papers and supplementary material
Overview and implementation of Belief Propagation and Loopy Belief Propagation algorithms: sum-product, max-product, max-sum
Factor graphs and loopy belief propagation implemented in Python