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