18 citations · 50 across the 8 of their papers we have counts for
8 papers
Mathematical Entities: Corpora and Benchmarks
Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian
Mathematics is a highly specialized domain with its own unique set of challenges. Despite this, there has been relatively little research on natural language processing for mathema…
Parmesan: mathematical concept extraction for education
Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian
Mathematics is a highly specialized domain with its own unique set of challenges that has seen limited study in natural language processing. However, mathematics is used in a wide…
Extracting Mathematical Concepts from Text
Jacob Collard, Valeria de Paiva, Brendan Fong +1
We investigate different systems for extracting mathematical entities from English texts in the mathematical field of category theory as a first step for constructing a mathematica…
Compositional Thinking in Cyberphysical Systems Theory
Georgios Bakirtzis, Eswaran Subrahmanian, Cody H. Fleming
Engineering safe and secure cyber-physical systems requires system engineers to develop and maintain a number of model views, both dynamic and static, which can be seen as algebras…
Operads for complex system design specification, analysis and synthesis
John D. Foley, Spencer Breiner, Eswaran Subrahmanian +1
As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separatio…
Modeling Hierarchical System with Operads
Spencer Breiner, Blake Pollard, Eswaran Subrahmanian +1
This paper applies operads and functorial semantics to address the problem of failure diagnosis in complex systems. We start with a concrete example, developing a hierarchical inte…