Camila Silva
camila-s
ยท
AI & ML interests
formal proofs
Recent Activity
liked a dataset about 15 hours ago
open-llm-leaderboard-old/details_alexredna__Tukan-1.1B-Chat-reasoning-sft-COLA liked a dataset about 15 hours ago
marin-community/open-thoughts-4-30k-math-qwen3-32b-annotated-32768-tokens-n8-reformatted-selfconsistency liked a dataset about 15 hours ago
myyycroft/RiDiC_bad_weather_zh_self_consistency_15_generationsOrganizations
None yet