fraware

Follow

🎯

Focusing

Matéo H. Petel fraware

🎯

Focusing

Follow

ML researcher · AI for Science

109 followers · 2.2k following

Achievements

Achievements

Organizations

fraware/README.md

Matéo H. Petel · ML researcher · AI for Science

Website · LinkedIn · Email

Pinned Loading

open-jarvis/OpenJarvis open-jarvis/OpenJarvis Public

Personal AI, On Personal Devices

Python 9.3k 2.1k
LabTrust-Gym LabTrust-Gym Public

A multi-agent environment (PettingZoo/Gym) for hospital lab automation, with a reference trust skeleton.

Python 2
leanverifier leanverifier Public

Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.

Python 84 5
scientific-memory scientific-memory Public

Buildable, machine-checkable scientific knowledge.

Python 2
chaoslabs chaoslabs Public

ChaosLabs is a platform that allows developers and SREs to simulate failures, inject faults, and monitor the behavior of distributed systems in real time.

Go 6 1
open-verification-kernel open-verification-kernel Public

Open Verification Kernel (OVK) is an open-source, solver-agnostic verification layer for AI-agent engineering workflows.

Python 1