research
∙
09/18/2023
Algebra of Self-Replication
Typical arguments for results like Kleene's Second Recursion Theorem and...
share
research
∙
08/29/2023
Extracting Mathematical Concepts with Large Language Models
We extract mathematical concepts from mathematical text using generative...
research
∙
06/06/2023
Fractals from Regular Behaviours
We are interested in connections between the theory of fractal sets obta...
research
∙
03/20/2023
On Kripke, Vietoris and Hausdorff Polynomial Functors
The Vietoris space of compact subsets of a given Hausdorff space yields ...
research
∙
03/13/2022
Logics for Epistemic Actions: Completeness, Decidability, Expressivity
We consider dynamic versions of epistemic logic as formulated in Baltag ...
research
∙
02/17/2022
A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting
This paper obtains a completeness result for inequational reasoning with...
research
∙
05/29/2021
NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning
Deep learning (DL) based language models achieve high performance on var...
research
∙
04/20/2021
An Initial Algebra Theorem Without Iteration
The Initial Algebra Theorem by Trnková et al. states, under mild assumpt...
research
∙
10/12/2020
OCNLI: Original Chinese Natural Language Inference
Despite the tremendous recent progress on natural language inference (NL...
research
∙
10/21/2019
On Well-Founded and Recursive Coalgebras
This paper studies fundamental questions concerning category-theoretic m...
research
∙
10/19/2019
MonaLog: a Lightweight System for Natural Language Inference Based on Monotonicity
We present a new logic-based inference engine for natural language infer...
research
∙
09/16/2019
Probing Natural Language Inference Models through Semantic Fragments
Do state-of-the-art models for language understanding already have, or c...
research
∙
07/19/2019
Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge
This is the proceedings of the Seventeenth conference on Theoretical Asp...
research
∙
09/03/2018