woalsdnd/law.go.kr
Updated
•
45
•
2
Jaemin Son
woalsdnd
AI & ML interests
Automated Theorem Proving
Recent Activity
liked
a model
about 1 month ago
mistralai/Devstral-Small-2505
liked
a model
3 months ago
all-hands/openhands-lm-32b-v0.1
upvoted
an
article
4 months ago
Welcome Gemma 3: Google's all new multimodal, multilingual, long context open LLM
Organizations
None yet