Camila Silva
camila-s
ยท
AI & ML interests
formal proofs
Recent Activity
liked a model about 4 hours ago
Yuhan123/vicuna-13b-self_consistency_neg_exp_var_3 liked a model about 4 hours ago
Yuhan123/vicuna-13b-self_consistency_neg_exp_var_5 upvoted a paper about 4 hours ago
SimuVerity: Benchmarking Agents for Engineering-Grade Simulink Model GenerationOrganizations
None yet