Showing 1–14 of 14 results
/ Date/ Name
Nov 16, 2025On the Brittleness of LLMs: A Journey around Set MembershipMay 22, 2025A Game for Counting Logic Formula Size and an Application to Linear OrdersJan 14, 2025Polynomial Threshold Functions of Bounded Tree-Width: Some Explainability and Complexity AspectsAug 21, 2024Higher-order Interpretations of Deepcode, a Learned Feedback CodeApr 26, 2024Interpreting Deepcode, a learned feedback codeMar 12, 2024Iterative Graph Neural Network Enhancement via Frequent Subgraph Mining of ExplanationsDec 13, 2020Explanation from SpecificationApr 3, 2020Nearest neighbor representations of Boolean functionsJul 8, 2016Betweenness centrality profiles in treesSep 11, 2015Measuring an Artificial Intelligence System's Performance on a Verbal IQ Test For Young ChildrenApr 29, 2015Hydras: Directed Hypergraphs and Horn FormulasOct 1, 2014On the Computational Complexity of MapReduceMay 30, 2014Biclique coverings, rectifier networks and the cost of $\varepsilon$-removalMar 25, 2014Non-characterizability of belief revision: an application of finite model theory