Hyun Ryu
hyun1905
AI & ML interests
neurosymbolic reasoning, critical thinking, logical reasoning
Recent Activity
upvoted
an
article
1 day ago
Argunauts Update: Learning Formal Argument Analysis with RLVF and HIRPO
upvoted
a
paper
8 days ago
Lost in the Noise: How Reasoning Models Fail with Contextual Distractors
liked
a model
21 days ago
LGAI-EXAONE/K-EXAONE-236B-A23B
Organizations
