EDBT 2026 Demo / reviewers in the wild / expert
Jinseo Shim
dblp:429/7241
· DBLP profile ↗
1ranked-venue papers
1as first author
1since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Program synthesis and code generation · 100% | |
| Theoretical computer science
1 paper |
Coding theory · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program synthesis and code generation
inductive program synthesis |
1.0 | 1 | 2026 | Cylindrical Lattice Embedding for Program Induction · AAAI 2026 |
Program synthesis and code generation
latent program space |
1.0 | 1 | 2026 | Cylindrical Lattice Embedding for Program Induction · AAAI 2026 |
Coding theory
lattice theory |
0.3 | 1 | 2026 | Cylindrical Lattice Embedding for Program Induction · AAAI 2026 |
Methods — techniques the papers use, named apart from their topics
lattice embedding · 2.0autoencoder · 2.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Cylindrical Lattice Embedding for Program InductionabstractThis study is grounded in prior work on program induction framework with a structured latent program space, called Program Lattice Auto Encoder(PLAE). It preserves compositional structure by training an encoder where programs and their compositions correspond to integer linear combinations of program bases, forming a discrete program lattice that captures the geometric structure of compositional reasoning. Based on it, this paper proposes a novel extension of the PLAE aimed at improving generalization and efficiency by choosing a cylindrical lattice latent space instead of plane, which can represent invariant programs. The core hypothesis is that only isometric transformations conserve compositional properties of lattice structure and therefore developable surfaces such as a cylinder or cone are permissible as embedding space. Moreover, through demonstrating a contradiction of lattice on conical manifolds, it conclude that only cylinder is a possible embedding manifold for lattice structure. Jinseo Shim |
AAAI | 1 |