Daniel Sebastian Goc

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Subgroup Discovery

Inductive Learning

Top Venues

Publications

Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang
Template-Based Conjecturing for Automated Induction in Isabelle/HOL. FSEN (2023)
Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang
Property-Based Conjecturing for Automated Induction in Isabelle/HOL. CoRR (2022)