3 papers
cs.PL2026
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…
cs.RO2026
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…
cond-mat.mtrl-sci2026
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…