Similar Items: Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs
- Algorithmic Randomness and Capacity of Closed Sets
- Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
- Robust Sentiment and Semantic Analysis of Small and Medium-Sized News Headline Datasets: A Study on Sports, Science, and Agricultural Domains
- Intuitionistic implication makes model checking hard
- Regularizing Hard Examples Improves Adversarial Robustness
- Unbalanced Triangle Detection and Enumeration Hardness for Unions of Conjunctive Queries