小川蓮
snguyen7
·
AI & ML interests
Alignment-focused model research. Sharing reproducible results.
Recent Activity
upvoted a paper 6 days ago
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory liked a dataset 14 days ago
librarian-bots/arxiv-metadata-snapshot liked a dataset 14 days ago
electricsheepeurope/europe-owid-cumulative-installed-wind-energy-capacity-gigawattsOrganizations
None yet