research
∙
08/29/2023
Extracting Mathematical Concepts with Large Language Models
We extract mathematical concepts from mathematical text using generative...
share
research
∙
07/13/2023
Parmesan: mathematical concept extraction for education
Mathematics is a highly specialized domain with its own unique set of ch...
research
∙
05/07/2023
Extracting Blockchain Concepts from Text
Blockchains provide a mechanism through which mutually distrustful remot...
research
∙
08/29/2022
Extracting Mathematical Concepts from Text
We investigate different systems for extracting mathematical entities fr...
research
∙
12/28/2021
Proceedings Second Joint International Workshop on Linearity Trends in Linear Logic and Applications
This volume contains a selection of papers presented at Linearity TLLA...
research
∙
05/26/2021
Dialectica Petri nets
The categorical modeling of Petri nets has received much attention recen...
research
∙
09/22/2020
Deriving Theorems in Implicational Linear Logic, Declaratively
The problem we want to solve is how to generate all theorems of a given ...
research
∙
03/08/2020
Dialectica Fuzzy Petri Nets
Brown and Gurr have introduced a model of Petri Nets that is based on de...
research
∙
04/15/2019
The ILLTP Library for Intuitionistic Linear Logic
Benchmarking automated theorem proving (ATP) systems using standardized ...
research
∙
04/15/2019
On the Lambek Calculus with an Exchange Modality
In this paper we introduce Commutative/Non-Commutative Logic (CNC logic)...
research
∙
04/12/2019
Proceedings Joint International Workshop on Linearity Trends in Linear Logic and Applications
This volume contains a selection of papers presented at Linearity/TLLA 2...
research
∙
10/22/2018
Linguistic Legal Concept Extraction in Portuguese
This work investigates legal concepts and their expression in Portuguese...
research
∙
01/21/2018
Dialectica Categories for the Lambek Calculus
We revisit the old work of de Paiva on the models of the Lambek Calculus...
research
∙
08/14/2016