Skip to content
View inha20's full-sized avatar
🌴
🌴

Block or report inha20

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
inha20/README.md

Jonghun Choi (μ΅œμ’…ν›ˆ)

Computer Science Β· Inha University
Researching how humans discover structure, assign meaning, and generate research questions.


Abstract

This profile is the entry point to the Structure Recognition Research Program, a unified long-term research program investigating how humans discover structure, assign meaning to it, and generate research questions. The program comprises five papers organized under Architecture B (Empirical Foundation Model): three empirical case studies in Boolean function analysis (Karnaugh map visual pattern interpretation, symmetric Boolean function structure, variable rearrangement invariance), a meta-theoretical integration (Structure Recognition Theory, SRT), and a methodological self-reflection on long-term human-AI research collaboration. The program's central question is: How do humans come to see something new?


Research Program: Structure Recognition

This profile is the entry point to a unified long-term AI-assisted research program.

How do humans come to see something new?

The program follows a connected sequence from empirical observation to theoretical synthesis. Papers 1–3 provide the observational foundation; Paper 4 synthesizes them into a general framework:

Step Repository Topic Status
1 KMap Structure Invariance Karnaugh map visual patterns; XOR/XNOR checkerboard structures Stable
2 Symmetric Boolean Functions Symmetric Boolean functions; Hamming Weight layers; ring structures Stable
3 Variable Rearrangement Invariance Variable rearrangement; structural invariance under transformation Active
4 Structure Recognition Theory Meta-theory explaining why structures become research-worthy Active
Empirical Foundation Layer
  Paper 1 β€” Karnaugh Map Structure Invariance
  Paper 2 β€” Symmetric Boolean Function Visual Patterns
  Paper 3 β€” Variable Rearrangement Invariance
           ↓
Theoretical Integration Layer
  Paper 4 β€” Structure Recognition Theory (SRT)
           ↓
Application Domains
  Human-AI Collaboration  Β·  AI Education  Β·  Structure-Based Mathematics

Research Portfolio Hub

The central navigation point for the entire research program is the Research-Portfolio repository.

It provides:

  • Full program overview and research timeline
  • Concept genealogy mapping how ideas developed
  • Cross-repository navigation and planning documents

β†’ Visit the Research Portfolio Hub


Human-AI Collaboration

An active thread of the program investigates human-AI research collaboration as both a method and a research subject. Humans detect structure and generate research questions; AI connects concepts and expands the explanation space. This division of cognitive labor is itself under study.

This work also explores knowledge transfer, context management, and AI-assisted research workflows across multi-session research programs β€” areas increasingly relevant as AI tools become integral to academic inquiry.

Repository Role Status
5HumanAIResearchCollaboration Long-term Human-AI research collaboration; externalized memory; AI-to-AI handover Active
ANTIGRAVITY AI collaboration workspace; session continuity; handover documents Monitoring

Research Threads

Boolean Structure Studies (Papers 1–3)
Observing and documenting specific structural phenomena in Boolean functions visualized through Karnaugh maps. Each paper is an independent case study with its own publication path.

Structure Recognition Theory β€” SRT (Paper 4)
A meta-theoretical framework investigating how and why humans detect explanatory significance in observed patterns. Current hypotheses (H1–H7) span structure discovery, attention filtering, and the role of representation in research generation.

Human-AI Collaboration (Branch 5)
An ongoing observation: humans detect structure and generate research questions; AI connects concepts and expands explanation space. This division of cognitive labor is itself a research subject.

AI Collaboration Education (Branch 6)
Exploratory. How should collaboration with AI be taught? What skills distinguish productive human-AI inquiry?

Structure-Based Elementary Mathematics (Branch 7)
Exploratory. Reinterpreting elementary mathematics through pattern, structure, and meaning.


Concept Genealogy

The following sequence represents the actual historical development of the research program β€” not a logical reconstruction, but a record of discovery:

Pattern
 ↓  (1st observation: Karnaugh map checkerboards)
Layer Structure
 ↓  (Hamming Weight layers explain pattern positions)
Equivalence
 ↓  (functions with same pattern under different arrangements)
Structural Invariance
 ↓  (what is preserved across variable rearrangements?)
Structure Recognition Theory
 ↓  (why do certain structures become research-worthy?)
Human-AI Collaboration Model
 ↓  (what roles do humans and AI play in discovery?)
[Future: AI Education Β· Structure-Based Mathematics]

Research Generation Framework

Difference β†’ Attention β†’ Structure β†’ Meaning β†’ Research Worthiness β†’ Question β†’ Research

Selected Keywords

Karnaugh map Β· Boolean function Β· structural invariance Β· structure recognition
symmetric Boolean function Β· variable rearrangement Β· Hamming weight
human-AI collaboration Β· AI-assisted research Β· knowledge transfer Β· context management
visual pattern analysis Β· research question generation Β· research program


Current Status (Summer 2026)

Active work: Repository standardization Β· GitHub Pages deployment Β· Structure Recognition Theory development

Program hub: Research-Portfolio


"Understanding a structure is different from memorizing its result."

Pinned Loading

  1. VacationDataStructure VacationDataStructure Public

    μ½”λ”©μ˜ κΈ°λ³Έκ³Ό 기반이 λ˜λŠ” 것에 ν•΄λ‹Ήν•˜λŠ” 자료ꡬ쑰 κ°•μ˜

  2. inha20 inha20 Public

    HTML

  3. Research-Portfolio Research-Portfolio Public

    Undergraduate research portfolio focused on Karnaugh maps, Boolean functions, visual pattern recognition, and AI in education.

    HTML