AI & ML interests
AI agents, agent evaluation, promotion gates, synthetic evidence, formal methods, contamination-resistant evaluation, model evaluation
verifiablelabs 's models
None public yet
AI agents, agent evaluation, promotion gates, synthetic evidence, formal methods, contamination-resistant evaluation, model evaluation