Yafei Yang
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 9 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| All for one and none forall: Compiling polymorphic relations without(…) | miniKanren 2026 | 2026-08-24 |
Claims a compiler pass for semiringKanren that removes type variables without monomorphization by compiling polymorphic relations into one canonical small… | ||
| Committing to the bit: Relational programming with semiring arrays and SAT solving | miniKanren and Relational Programming Workshop 2025 | 2025-10-17 |
SemiringKanren implements relations as multi-dimensional semiring arrays evaluated with a bottom-up fixpoint strategy, compiles algebraic types to bitstring… | ||
| F3: A Compiler For Feature Engineering | FUNARCH 2024 | 2024-09-06 |
F3 is a Python DSL and compiler that converts feature pipelines into a canonical semantic form so the system can prove equivalence, move filters safely across… | ||
| nothing matches | ||