Jonas Kaiser

According to our database, Jonas Kaiser authored at least 6 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Adapting Sequential Recommender Models to Content Recommendation in Chat Data using Non-Item Page-Models.

Albin Zehe, Elisabeth Fischer, Jonas Kaiser, Toni Wagner, Andreas Hotho

Proceedings of the Sixth Knowledge-aware and Conversational Recommender Systems Workshop co-located with 18th ACM Conference on Recommender Systems (RecSys 2024), 2024

2019

Formal verification of the equivalence of system F and the pure type system L2.

Jonas Kaiser

PhD thesis, 2019

Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector substitutions.

Kathrin Stark, Steven Schäfer, Jonas Kaiser

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018

Binder aware recursion over well-scoped de Bruijn syntax.

Jonas Kaiser, Steven Schäfer, Kathrin Stark

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga.

Jonas Kaiser, Brigitte Pientka, Gert Smolka

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Equivalence of system f and ź2 in Coq based on context morphism lemmas.

Jonas Kaiser, Tobias Tebbi, Gert Smolka

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017