Computation and Language

Authors and titles for recent submissions, skipping first 150

• Thu, 23 Mar 2023
• Wed, 22 Mar 2023
• Tue, 21 Mar 2023
• Mon, 20 Mar 2023
• Fri, 17 Mar 2023

Fri, 17 Mar 2023 (continued, showing last 5 of 38 entries)

[145]  arXiv:2303.08894 (cross-list from math.CT) [pdf, other]

Title: A Formalization of Operads in Coq

Authors: Zachary Flores, Angelo Taranto, Eric Bond, Yakir Forman

Comments: Repository for code to follow shortly

Subjects: Category Theory (math.CT); Computation and Language (cs.CL); Programming Languages (cs.PL)

[146]  arXiv:2303.08806 (cross-list from stat.ML) [pdf, other]

Title: Understanding Post-hoc Explainers: The Case of Anchors

Authors: Gianluigi Lopardo, Frederic Precioso, Damien Garreau

Comments: arXiv admin note: substantial text overlap with arXiv:2205.13789

Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)

[147]  arXiv:2302.00744 (cross-list from math.CT) [pdf, ps, other]

Title: A Formal Algebraic Framework for DSL Composition

Authors: Zachary Flores, Angelo Taranto, Eric Bond

Comments: Comments are welcome! This has been submitted to a conference

Subjects: Category Theory (math.CT); Computation and Language (cs.CL); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[148]  arXiv:2207.01420 (cross-list from cs.LG) [pdf, other]

Title: Comparing Feature Importance and Rule Extraction for Interpretability on Text Data

Authors: Gianluigi Lopardo, Damien Garreau

Comments: Accepted to XAIE ICPR 2022, the 2-nd Workshop on Explainable and Ethical AI, ICPR 2022

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (stat.ML)

[149]  arXiv:2205.13789 (cross-list from stat.ML) [pdf, other]

Title: A Sea of Words: An In-Depth Analysis of Anchors for Text Data

Authors: Gianluigi Lopardo, Frederic Precioso, Damien Garreau

Comments: Accepted to AISTATS 2023. 9+2 page paper, 21-page appendix

Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)

• Thu, 23 Mar 2023
• Wed, 22 Mar 2023
• Tue, 21 Mar 2023
• Mon, 20 Mar 2023
• Fri, 17 Mar 2023