3 citations · 3 across the 4 of their papers we have counts for
4 papers
Compiling Chemical Knowledge into Executable Descriptors for Materials Prediction
Jaehwan Choi, Kunik Jang, Seongmin Kim +5
Materials prediction depends critically on how scientific knowledge is represented, yet many governing considerations exist only as natural-language heuristics that conventional le…
LLM-Flax : Generalizable Robotic Task Planning via Neuro-Symbolic Approaches with Large Language Models
Seongmin Kim, Daegyu Lee
Deploying a neuro-symbolic task planner on a new domain today requires significant manual effort: a domain expert must author relaxation and complementary rules, and hundreds of tr…
ReSyn: A Generalized Recursive Regular Expression Synthesis Framework
Seongmin Kim, Hyunjoon Cheon, Su-Hyeon Kim +2
Existing Programming-By-Example (PBE) systems often rely on simplified benchmarks that fail to capture the high structural complexity of real-world regexes, such as deeper nesting…
Materealize: a multi-agent deliberation system for end-to-end material design and synthesis
Seongmin Kim, Jaehwan Choi, Kunik Jang +4
We propose Materealize, a multi-agent system for end-to-end inorganic materials design and synthesis that orchestrates core domain tools spanning structure generation, property pre…