Users following Beneficial-AI-Foundation
mnarayan
mnarayan
ML & Statistical Science | Causal Inference | Metascience | Protein Design
Maker of @skggm, @skmediate
Pasteur's Quadrant, @surrogate-sci @neuroquant @ai-metrology
Yizheng Jiao
jyizheng
I am a system programmer. Currently, I am rebuilding AI Infra component with Rust.
The Bay Area
Filippo A. E. Nuccio
faenuccio
I am Associate Professor (Maître de Conférences HDR) in Pure Mathematics in Saint-Étienne, France. My research focuses on formalising mathematics in Lean.
Université Jean-Monnet Saint-Étienne, France
ADA
a-dangelo
Hi! I'm Alessandro, Math PhD working on AI and ML engineering and formal verification. Building reliable agentic systems and verification tooling.
Markus Ferdinand Dablander
MarkusFerdinandDablander
Senior Research Scientist at BAIF | DPhil, University of Oxford | Theoretical & Applied Machine Learning, Deep Learning & Artificial Intelligence