Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Hyun Ryu's picture
1 15 2

Hyun Ryu

hyun1905
gmkim's profile picture
·
  • hyuncho_1905
  • Hyun-Ryu

AI & ML interests

neurosymbolic reasoning, critical thinking, logical reasoning

Recent Activity

upvoted an article 6 days ago
Argunauts Update: Learning Formal Argument Analysis with RLVF and HIRPO
upvoted a paper 12 days ago
Lost in the Noise: How Reasoning Models Fail with Contextual Distractors
liked a model 25 days ago
LGAI-EXAONE/K-EXAONE-236B-A23B
View all activity

Organizations

MLILAB's profile picture

authored 4 papers 4 months ago

ReviewScore: Misinformed Peer Review Detection with Large Language Models

Paper • 2509.21679 • Published Sep 25, 2025 • 64

EMC2-Net: Joint Equalization and Modulation Classification based on Constellation Network

Paper • 2303.10934 • Published Mar 20, 2023

SimPSI: A Simple Strategy to Preserve Spectral Information in Time Series Data Augmentation

Paper • 2312.05790 • Published Dec 10, 2023

Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning

Paper • 2410.08047 • Published Oct 10, 2024
authored a paper 8 months ago

Reasoning Model is Stubborn: Diagnosing Instruction Overriding in Reasoning Models

Paper • 2505.17225 • Published May 22, 2025 • 64
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs