Our output


Title Description
AlgebraicDynamics.jl Build dynamical systems compositionally
AlgebraicPetri.jl Build Petri net models compositionally
AlgebraicRewriting.jl Generalized term rewriting software and agent-based modeling
Catlab.jl A framework for applied category theory
CombinatorialSpaces.jl Combinatorial models of geometric spaces
MathAnnotator Use ChatGPT to extract mathematical concepts
MathGloss Web glossary for undergraduate mathematics
Parmesan Semantic searching in category theory
Semagrams.jl A graphical editor for graph-like structures
No matching items


Total: 63 items
  • Angeline Aguinaldo, Evan Patterson, James Fairbanks, Jaime Ruiz, "A Categorical Representation Language and Computational System for Knowledge-Based Planning". 2023 AAAI Fall Symposium on Unifying Representations for Robot Application Development (2023). arXiv:2305.17208
  • Rebekah Aduddell, James Fairbanks, Amit Kumar, Pablo S. Ocal, Evan Patterson, Brandon T. Shapiro, "A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks". (2023). arXiv:2301.01445
  • Tyler Hanks, Baike She, Matthew Hale, Evan Patterson, Matthew Klawonn, James Fairbanks, "A Compositional Framework for Convex Model Predictive Control". (2023). arXiv:2305.0382
  • Evan Patterson, Andrew Baas, Timothy Hosgood, James Fairbanks, "A diagrammatic view of differential equations in physics". Mathematics in Engineering (2022). DOI:10.3934/mine.2023036 arXiv:2204.01843
  • David I. Spivak, "A reference for categorical structures on Poly". (2021). arXiv:2202.00534
  • David I. Spivak, Brandon Shapiro, "All Concepts are Cat^#". (2023). arXiv:2305.02571
  • Sophie Libkind, Andrew Baas, Micah Halter, Evan Patterson, James Fairbanks, "An Algebraic Framework for Rapid Epidemic Modeling". Proceedings of the Royal Society A (2022). DOI:10.1098/rsta.2021.0309 arXiv:2203.16345
  • E Pimentel, LC Pereira, V de Paiva, "An ecumenical notion of entailment". Synthese 198 (Suppl 22), 5391-5413 (2021).
  • Aikaterini-Lida Kalouli, Livy Real, Annebeth Buis, Martha Palmer, Valeria de Paiva, "Annotation Difficulties in Natural Language Inference". Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana (STIL) (2021). DOI:10.5753/stil.2021.17804
  • John Baez, Simon Cho, Daniel Cicala, Nina Otter, Valeria de Paiva, "Applied category theory in chemistry, computing, and social networks". Notices of the American Mathematical Society (2022). DOI:10.1090/noti2422 [link]
  • Valeria de Paiva, Paolo Baldan, "CALCO 2023 Proceedings". LIPIcs, Volume 270 (2023). [link]
  • Eloize Rossi Marques Seno, Valéria de Paiva, Vládia Pinheiro, "Capítulo 9 Semântica com Técnicas Simbólicas". (2023). [link]
  • Michael Lambert, Evan Patterson, "Cartesian double theories: A double-categorical framework for categorical doctrines". (2023). arXiv:2310.05384
  • Evan Patterson, Owen Lynch, James Fairbanks, "Categorical Data Structures for Technical Computing". Compositionality (2021). DOI:10.32408/compositionality-4-5 arXiv:2106.04703
  • Davide Trotta, Manlio Valenti, Valeria de Paiva, "Categorifying computable reducibilities". (2023). arXiv:2208.08656
  • Nelson Niu, David I. Spivak, "Collectives: Compositional protocols for contributions and returns". (2021). arXiv:2112.11518
  • Toby St. Clere Smithe, "Compositional Active Inference I: Bayesian Lenses. Statistical Games". (2021). arXiv:2109.04461
  • John Baez, Xiaoyan Li, Sophie Libkind, Nathaniel Osgood, Evan Patterson, "Compositional Modeling with Stock and Flow Diagrams". Applied Category Theory 2022 (2022). DOI:10.4204/EPTCS.380.5 arXiv:2205.08373
  • John C. Baez, Owen Lynch, Joe Moeller, "Compositional Thermostatics". (2021). arXiv:2111.10315
  • Kristopher Brown, Evan Patterson, Tyler Hanks, James Fairbanks, "Computational category-theoretic rewriting". Proceedings of the 2022 International Conference on Graph Transformation (2022). DOI:10.1007/978-3-031-09843-7_9 arXiv:2111.03784
  • Kristopher Brown, Evan Patterson, Tyler Hanks, James Fairbanks, "Computational category-theoretic rewriting". Journal of Logical and Algebraic Methods in Programming (2023). DOI:10.1016/j.jlamp.2023.100888 arXiv:2111.03784
  • Aikaterini-Lida Kalouli, Hai Hu, Alexander Frank Webb, Lawrence S. Moss, Valeria de Paiva, "Curing the SICK and other NLI maladies". Computational Linguistics (2022).
  • Luke Morris, Andrew Baas, Jesus Arias, Maia Gatlin, Evan Patterson, James Fairbanks, "Decapodes: A Diagrammatic Tool for Representing, Composing, and Computing Spatialized Partial Differential Equations". (2024). arXiv:2401.17432
  • David I. Spivak, Timothy Hosgood, "Deeply Interactive Learning Systems". SIAM News Blog (2021). arXiv:2111.01297 [link]
  • Paul Tarau, Valeria de Paiva, "Deriving Theorems in Implicational Linear Logic, Declaratively". EPTCS (2020). DOI:10.4204/EPTCS.325.18 arXiv:2009.10241
  • Valeria de Paiva, "Dialectica Comonads". 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021) (2021). DOI:10.4230/LIPIcs.CALCO.2021.3
  • Davide Trotta, Matteo Spadetto, Valeria de Paiva, "Dialectica Logical Principles". International Symposium on Logical Foundations of Computer Science (2022). DOI:10.1007/978-3-030-93100-1_22 arXiv:2109.08064
  • Davide Trotta, Matteo Spadetto, Valeria de Paiva, "Dialectica Logical Principles: not only rules". Journal of Logic and Computation. (2022). DOI:10.1093/logcom/exac079
  • Elena Di Lavore, Wilmer Leal, Valeria de Paiva, "Dialectica Petri Nets". (2021). arXiv:2105.12801
  • Davide Trotta, Matteo Spadetto, Valeria de Paiva, "Dialectica Principles via Gödel Doctrines". Theoretical Computer Science (2022). DOI:10.1016/j.tcs.2023.113692 arXiv:2205.07093
  • David I. Spivak, Timothy Hosgood, "Dirichlet polynomials and entropy". Entropy (2021). DOI:10.3390/e23081085 arXiv:2107.04832
  • Luiz Carlos Pereira, Elaine Pimentel, Valeria de Paiva, "Duas Negações Ecumênicas". De Mathematicae atque Philosophicae Elegantia: Notas Festivas para Abel Lassalle Casanave (2021).
  • Brandon T. Shapiro, David I. Spivak, "Duoidal Structures for Compositional Dependence". (2022). arXiv:2210.01962
  • Brandon T. Shapiro, David I. Spivak, "Dynamic operads, dynamic categories: From deep learning to prediction markets". Applied Category Theory 2022 (2022). arXiv:2205.03906
  • Kris Brown, David I. Spivak, "Dynamic Tracing: a graphical language for rewriting protocols". (2023). arXiv:2304.1495
  • Brandon T. Shapiro, "Enrichment of Algebraic Higher Categories". (2022). arXiv:2205.12235
  • Rodrigo Veiga, Markus Endler, Valeria de Paiva, "Extracting Blockchain Concepts from Text". (2023). arXiv:2305.10408
  • Jacob Collard, Valeria de Paiva, Brendan Fong, Eswaran Subrahmanian, "Extracting Mathematical Concepts from Text". 8th Workshop on Noisy User-generated Text (W-NUT) (2022). arXiv:2208.1383
  • Valeria de Paiva, Qiyue Gao, Pavel Kovalev, Lawrence S. Moss, "Extracting Mathematical Concepts with Large Language Models". (2023). arXiv:2309.00642
  • Joshua Meyers, David I. Spivak, Ryan Wisnesky, "Fast Left Kan Extensions Using The Chase". Journal of Automated Reasoning (2022). DOI:10.1007/s10817-022-09634-2 arXiv:2205.02425
  • David I. Spivak, "Functorial aggregation". (2021). arXiv:2111.10968
  • tslil clingman, Brendan Fong, David I. Spivak, "Graphical Regular Logic: the complete 2-dimensional picture". ACT21 (2021). [link]
  • Valeria de Paiva, Sergei Artemov, "Intuitionistic Modal Logic and Applications". Journal of Applied Logics (2021). [link]
  • Valeria de Paiva, Samuel G. da Silva, "Kolmogorov-Veloso Problems and Dialectica Categories". Chapter in book 'A Question is More Illuminating than an Answer. A Festschrift for Paulo A. S. Veloso' (2021). arXiv:2107.07854
  • David I. Spivak, "Learners’ languages". (2021). arXiv:2103.01189
  • Lucy Horowitz, Valeria de Paiva, "MathGloss: Building mathematical glossaries from text". (2023). arXiv:2311.12649
  • Valeria de Paiva, Aikaterini-Lida Kalouli, Livy Real, "Of Seringueiros and Sambistas: Occupation Mappings in Historical Text". 2nd DHandNLP (2022). [link]
  • Sophie Libkind, Andrew Baas, Evan Patterson, James Fairbanks, "Operadic Modeling of Dynamical Systems: Mathematics and Computation". Applied Category Theory 2021 (2021). DOI:10.4204/EPTCS.372.14 arXiv:2105.12282
  • Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian, "Parmesan: mathematical concept extraction for education". (2023). arXiv:2307.06699
  • Nelson Niu, David I. Spivak, "Polynomial Functors: A Mathematical Theory of Interaction". (2023). arXiv:2312.00099
  • David I. Spivak, "Polynomial functors and Shannon entropy". (2022). arXiv:2201.12878
  • Ugo Dal Lago, Valeria de Paiva, "Proceedings of 2020 Joint Workshop Linearity & Trends on Linear Logic and Applications". Summer of LoVE (Logic and Verification), Paris, France, online (2021). DOI:10.4204/EPTCS.353 arXiv:2112.14305 [link]
  • Stergios Chatzikyriakidis, Valeria de Paiva, "Proceedings of the 4th Natural Logic Meets Machine Learning Workshop (NALOMA)". ACL Anthology (2023). [link]
  • C Trojahn, M Finatto, R Vieira, V Paiva, "Proceedings of the Second Workshop on Digital Humanities and Natural Language Processing". PROPOR (2022). [link]
  • Evan Patterson, "Products in double categories, revisited". (2024). arXiv:2401.08990
  • Toby St. Clere Smithe, "Some Notions of (Open) Dynamical System on Polynomial Interfaces". (2021). arXiv:2108.11137
  • Evan Patterson, "Structured and decorated cospans from the viewpoint of double category theory". Applied Category Theory 2023 (2023). DOI:10.4204/EPTCS.397.13 arXiv:2304.00447
  • Brandon Shapiro, David Spivak, "Structures on Categories of Polynomials". (2023). arXiv:2305.00167
  • Brendan Fong, Alberto Speranzon, David I. Spivak, "Temporal Landscapes: A Graphical Logic of Behavior". ACT21 (2021). arXiv:1904.01081 [link]
  • Kevin Arlin, James Fairbanks, Tim Hosgood, Evan Patterson, "The diagrammatic presentation of equations in categories". (2024). arXiv:2401.09751
  • Davide Trotta, Matteo Spadetto, Valeria de Paiva, "The Gödel Fibration". 46th International Symposium on Mathematical Foundations of Computer Science (2021). DOI:10.4230/LIPIcs.MFCS.2021.87 arXiv:2104.14021
  • Valeria de Paiva, Alexandre Rademaker, "Towards a Brazilian History Knowledge Graph". (2024). arXiv:https://arxiv.org/abs/2403.19856
  • Valeria de Paiva, Livy Real, "Towards FraCaS-BR". OpenCor (2021). [link]
No matching items


Total: 93 items
No matching items


These repositories contain “cleaned” versions of mathematical text, with the intention of being used as training corpora for various machine learning projects.

  • TAC corpus: the contents and metadata of TAC abstracts as of c. December 2020.
  • nLab corpus: the contents of the nLab as of c. December 2020.