Kun Gao

Orcid: 0000-0001-8644-2157

Affiliations:
  • Peking University, Key Laboratory of High Confidence Software Technologies, School of Computer Science, Beijing, China
  • Agency for Science, Technology and Research, A*STAR, Institute of High Performance Computing, IHPC, Singapore


According to our database1, Kun Gao authored at least 7 papers between 2019 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Differentiable Rule Induction from Raw Sequence Inputs.
Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024
A differentiable first-order rule learner for inductive logic programming.
Artif. Intell., 2024

A differentiable first-order rule learner for inductive logic programming (Abstract Reprint).
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023
Reinforcement Logic Rule Learning for Temporal Point Processes.
CoRR, 2023

2022
Learning from interpretation transition using differentiable logic programming semantics.
Mach. Learn., 2022

Learning First-Order Rules with Differentiable Logic Program Semantics.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2019
Reasoning about Block-based Cloud Storage Systems.
CoRR, 2019


  Loading...