Camila Silva
camila-s
·
AI & ML interests
formal proofs
Recent Activity
liked a Space about 7 hours ago
PastaPastaPasta/llm-chess-puzzle-reasoning upvoted a paper 2 days ago
S3AC: Stabilized, Selective, and Scalable Actor-Critic for LLM ReasoningOrganizations
None yet