AI & ML interests

AI agents, agent evaluation, promotion gates, synthetic evidence, formal methods, contamination-resistant evaluation, model evaluation

Recent Activity

stelioszach03  updated a Space 17 days ago
verifiablelabs/README
stelioszach03  published a Space 17 days ago
verifiablelabs/README
View all activity